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: https://www.youtube.com/playlist?list=PLb0zKSynM2PD9aEfKM1gfaPZTooCJNhDy * Mehr zu Gödels Unvollständigkeitssätzen: https://youtu.be/qSiLjXlFlYE?list=PLb0zKSynM2PAuxxtMK1bxYPV_bUoPtpTB * Mehr zu Turing-Maschinen: https://youtu.be/ewePLstlRcA?list=PLb0zKSynM2PAuxxtMK1bxYPV_bUoPtpTB * Mehr zu Algorithmen: https://youtu.be/i_Zb43TEOAc?list=PLb0zKSynM2PAuxxtMK1bxYPV_bUoPtpTB * Die "Herkunft" der komplexen Zahlen: https://youtu.be/copq93pVhxI?list=PLb0zKSynM2PBYzz6l37rWH3B_n_7P40QP * Das erwähnte MRDP-Theorem: https://youtu.be/gsYclJlYK7I?list=PLb0zKSynM2PAuxxtMK1bxYPV_bUoPtpTB * Die Mandelbrotmenge: https://youtu.be/5TzqfheD3rQ?list=PLb0zKSynM2PBYzz6l37rWH3B_n_7P40QP * Die "echte" Turingmaschine: https://aturingmachine.com/ * Liste aller Videos: https://weitz.de/haw-videos/ * Illustrationen von Heike Stephan: https://de-de.facebook.com/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.