In dieser Folge sprechen wir über Beweise, Unbeweisbares und Prinzessinnen.

Wir klären, wie ein Beweis aussehen muss, damit man ihn glaubt.
Außerdem: Was kann man (nicht) beweisen und kann ein Computer Dinge für uns beweisen können?

• Pixibuch “Der Prinzessinnen Wettstreit”
• Leslie Lamport: “How to Write a 21st Century Proof”
• Daniel Solow: “How to Read and Do Proofs: An Introduction to Mathematical Thought Processes”
• G.H. Hardy: “Mathematical Proof”.
• Albrecht Beutelspacher: “Das ist o.B.d.A. trivial! Eine Gebrauchsanleitung zur Formulierung mathematischer Gedanken”
• Man kann nicht alles was richtig ist auch beweisen.
• Das Whitehead problem ist unabhängig von ZFC. D.h. es ist nicht beweisbar, aber das Gegenteil auch nicht. Man kann sich aussuchen, ob man die Aussage wahr oder falsch haben möchte.
• T. Franzen: Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse
• Von Neumanns Konstruktion der natürlichen Zahlen mittels Mengentheorie