0:00-28:48
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
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
Pixibuch “Der Prinzessinnen Wettstreit”
carlsen.deLeslie Lamport: “How to Write a 21st Century Proof”
lamport.azurewebsites.netG.H. Hardy: “Mathematical Proof”
academic.oup.comMan kann nicht alles was richtig ist auch beweisen.
de.wikipedia.orgWhitehead problem
en.wikipedia.org