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