Ist es möglich jede Aussage die wahr ist zu beweisen? Und trifft man dabei auch auf keine Widersprüche?

Diese Fragen werden wir in dieser Podcastfolge beantworten. Im vergangenen Jahrhundert wurden in der Beantwortung dieser Fragen große Fortschritte gemacht. Dies führte zunächst in einen Grundlagenkonflikt unter Mathematikern.

Der Unvollständigkeitssatz von Gödel vor mehr als 90 Jahren konnte diesen schließlich beenden, wenn vielleicht auch mit unzufriedenstellendem Ergebnis.

Wir betrachten diese Sachverhalte im Detail und lernen was man daraus über den Glauben lernen kann.

Quellen:

Rudolf Sponsel, Geschichte des Grundlagenstreits in der Mathematik, https://www.sgipt.org/wisms/geswis/mathe/ggsidm/gdgsidm.htm

Derek Muller, Veritasium, Math has a fatal flaw, https://www.youtube.com/watch?v=HeQX2HjkcNo