Prädikatenlogik/Formalisiere/Unbewiesene Aussagen über Primzahlen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere in der arithmetischen Sprache die folgenden zahlentheoretischen Vermutungen.

  1. Die Goldbach-Vermutung.
  2. Die Vermutung über die Unendlichkeit der Primzahlzwillinge.
  3. Die Vermutung über die Unendlichkeit der Mersenne-Primzahlen.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Formalisiere/Unbewiesene_Aussagen_über_Primzahlen/Aufgabe&oldid=457000“