Next:
Goedelisierung
Up:
Vortrag Goedelscher Unvollstaendigkeitssatz
Previous:
Beschreibung der Wissensbasis (des
Goedelscher Unvollstaendigkeitssatz
An der Stelle -> Goedelsche Ueberlegungen nachvollziehen
Subsections
Goedelisierung
Beweispaare
Substitution
Selbstbezueglichkeit nach Quine
Der endgueltige Satz
Folgerungen aus dem Satz
Moeglichkeiten, PA zu vervollstaendigen
Bedingungen fuer Unvollstaendigkeit
Lee Chuck 2001-05-01
