[Philweb] Neunzig (90) Jahre Unvollständigkeitssätze

Hallo, vor 90 Jahre erschien die Demzemberausgabe des Magazins "Monatshefte für Mathematik und Physik" mit einem Artikel mit den Titel "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" von einem Gewissen Kurt Gödel. Das "I" am Ende ist die römische Ziffer 1 und in der Tat ist niemals ein zweiter Artikel erschienen. Ich habe einmal gelesen, dass Gödel eigentlich einen zweiten Artikel beabsichtigte, diesen aber nach dem Erfolg des Orginalpapers dann doch nicht verfasste. Ein weltpolitisches Ereignis war die Publikation von Gödel jedenfalls zunächst nicht. Es dauerte sogar einige Zeit, bis die wahre Bedeutung und Tragweite dieser Ergebnisse für alle offenkundig wurde. Inzwischen wurde das Ergebnis von Gödel von verschiedenen Seiten philosophisch und auf andere Weisen interpretiert und durch Bücher und Dokumentatione popularisiert. Man sollte bei all dem nicht vergessen, welchen Abstraktionsgrad das Verständnis diese Ergebnisses erfordert. *Formale Systeme, die bestimmte Forderungen erfüllen, haben eine gewissen Eigenschaft*. Das ist schon sehr, sehr weit weg von den "Vulgärinterpretationen", welche uns aus gut gemeinten populärwisseschaftlichen Nachrichten entgegenkommen. Die Mathematik und Philosophie ist natürlich dabei nicht stehen geblieben: Es gibt andere Ergebnisse der mathematischen Logik, deren Verbreitung nicht ganz so groß wurde. Trotzdem schreibe ich für die Liste mal diese Mini-Rezession, um den Jahrestag zu würdigen. Gruß Der, wie immer, Ratlose.