Programmieren ohne Computer (Kurze Geschichte der Mathematik 5)

Wie Kurt Gödel das Hilbertprogramm abrupt beendete. Wie Alan Turing programmierte, bevor es Computer gab. Wie man mit Wollfäden und Bierseideln die Unabhängigkeit des Parallelenpostulats beweist. Und schließlich die philosophische Frage, ob Aliens Rechtecke und Primzahlen kennen und was Mathematiker am Sonntag machen. Das NEUESTE Buch: https://weitz.de/5UR/ Alle Bücher von mir: https://weitz.de/books.html KORREKTUREN: https://weitz.de/corr/lQ4A146-eI8 Die gesamte Reihe zur Geschichte:    • Eine kurze Geschichte der Mathematik   Mehr zu Gödels Unvollständigkeitssätzen:    • Gödel (miss)verstehen - Was sagt der Unvol...   Mehr zu Turing-Maschinen:    • Die seltsamste Zahl: Chaitins Omega (Weihn...   Mehr zu Algorithmen:    • Was sind Algorithmen?   Die "Herkunft" der komplexen Zahlen:    • Kubische Gleichungen: Woher die komplexen ...   Das erwähnte MRDP-Theorem:    • Hilberts zehntes Problem (Weihnachtsvorles...   Die Mandelbrotmenge:    • Die Mandelbrotmenge   Die "echte" Turingmaschine: https://aturingmachine.com/ Liste aller Videos: https://weitz.de/haw-videos/ Illustrationen von Heike Stephan:   / haiartandillustration   "FAQ": https://weitz.de/youtube.html 0:00:00 Hilberts Optimismus 0:09:33 Kurt Gödel 0:12:44 Wie Gödel den Formalismus überlistete 0:27:15 Das Ende des Hilbertprogramms 0:31:56 Missverständnisse 0:35:11 Das Entscheidungsproblem 0:41:49 Turings Maschine 0:55:54 Welche Geometrie ist wahr? 1:01:55 Modelle und Bierseidel 1:12:14 Was sagt die Philosophie? 1:19:52 Food for Thought 1:27:20 Buchempfehlungen Corrections: 1:01:02 Bitte beachten Sie die Korrekturhinweise in der Videobeschreibung.