Show Notes
Als ich studiert habe, waren Vorlesungen mit Gödel und mit Kohomologie immer die beliebtesten. Daher geht’s heute mal wieder um Gödel und den Unvollständigkeitssatz. Um den hinzubekommen, muss man aber erst die Mathematik durchnummerieren, und zwar nicht wie Graf Zahl, sondern so, dass man aus den Zahlen auch wieder die Aussagen zurückberechnen kann. Von da aus ist es nicht mehr weit zu Quines — Computerprogrammen, die ihren eigenen Quelltext ausgeben.
- Graf Zahl zählt Hotdogs (YouTube)
- Neinhorn
- Über formal unentscheidbare Sätze (Gödel, 1931)
- Gödels Theorem auf Goodreads
- Gödel, Einstein und die Folgen (Rezension auf spektrum.de)
- Das Paris-Harrington-Theorem ist wahr aber nicht beweisbar.
- Quine-Programme
- Rice-Theorem
- Gödels Theorem (Peter Cameron)
Feedback gerne auf Mastodon @[email protected], an feedback (bei) eigenpod.de oder in die Kommentarspalte auf der Episodenseite.
Ein automatisch generiertes Transkript (also den Volltext) dieser Folge gibt es auf der Episodenseite.