Unvollständigkeitssatz

30/10/2010 - 20:27 von Anne Onime | Report spam
Kann mir jemand den Unvollstàndigkeitssatz kurz und einfach erklàren?

Insbesondere, ob er konstruktiv ist?
 

Lesen sie die antworten

#1 ram
30/10/2010 - 21:01 | Warnen spam
Anne Onime writes:
Kann mir jemand den Unvollstàndigkeitssatz kurz und einfach erklàren?



Es gibt wahre Sàtze eines Axiomensystems, die man nicht
durch ein formales Kalkül aus diesem ableiten kann.

(Siehe Wikipedia.)

Insbesondere, ob er konstruktiv ist?



Gödel konstruiert sicher an einigen Stellen seines Beweises
etwas, aber ich würden den Beweis nur konstruktiv nennen,
wenn /alle/ Teile konstruktiv sind. Das weiß ich jetzt aber
nicht.

Ähnliche fragen