welle::erd.ferkel

Im alten Blog habe ich vor einiger Zeit eine Death-Metal-Hymne auf Gödel verfasst. Wenn man keinen Hang zu Mathematik und ähnlichem hat muss man den nicht unbedingt kennen, aber man kann sich ja für einen groben Kontext merken, dass er die zweite Grundlagenkrise der Mathematik zu großen Teilen selbst verursacht (bzw. entdeckt) hat.

Allerdings hat Gödel noch anderes gemacht – zum einen ist er verhungert und gehört damit auf meine kleine aber kuriose Liste ungewöhnlich verstorbener Mathematiker¹, zum anderen hat er gegen Ende seines Lebens noch einen Gottesbeweis (pdf) geschrieben; allerdings ohne ihn zu veröffentlichen. So oder so, der hier verlinkte Artikel ist eine schöne Zusammenfassung, beim ersten Drüberlesen finde ich aber schon einige Axiome eher dubios. Wenn man die ganzen Formeln eklig findet – kann ich verstehen, geht mir auch so, aber in dem Stil wird Logik heutzutage betrieben. Früher hat man solche Überlegungen weniger formelig, aber dafür um einiges abstruser ausgedrückt². Fresion, meine Güte.

Selbst als interessierter Laie muss man sich aber nicht viel mehr merken als: Es gab da mal einen sauwichtigen Mathematiker namens Gödel, der später verrückt wurde und dann verhungert ist, nicht ohne aber irgendwo zwischen sauwichtig und verhungert einen formalen Gottesbeweis zu schreiben. Die interessante Frage ist vor allem, ob der Gottesbeweis zwischen sauwichtig und verrückt oder zwischen verrückt und verhungert gehört.[3]

Continue reading "Logisch, oder?" »