Wenndas wörtchen wenn nicht wär

grüsse leute ich bins nocheinmal

Kleine frage was wäre wenn die goldbachsche vermutung sich als unlösbar das heisst als lucke in dermathematischen sprache herausstellen würde - nach gödel ist ja jedes formale system unvollständig -

was wäre wenn - bzw deutet etwas darauf hin oder dagegen

neugierig auf beiträge und anregungen und so weiter

grübelt brav
zörs Matin

Hallo,

nach gödel ist ja jedes formale system
unvollständig -

Zumindest hinreichend „mächtige“ (z.B. die Peano-Arithmetik umfassend) widerspruchsfreie Axiomensysteme.

was wäre wenn - bzw deutet etwas darauf hin oder dagegen

Theoretisch gibt es m.M. keine Präferenz für die Beweisbarkeit der Vermutung, daß sich jede gerade Zahl größer gleich 4 als Summe zweier Primzahlen darstellen läßt, noch für deren Unbeweisbarkeit.

Gruss
Enno