Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 28. April 2007 um 14:08 Uhr durch imported>Wuzel(5431) (#redirect Gödelscher Unvollständigkeitssatz (wüsste nicht, was man hier schreiben sollte, was nicht auch schon beim Unvollst.satz steht)).
Weiterleitung
Weiterleitung nach: