Formale Beweise
Episode von Pi ist genau 3 von Petra Schwer und Thomas Kahle · 7. April 2022 · 37 min
"Es gibt Beweise mit Löchern, Beweise mit Fehlern und Beweise, die nur zwei Leute auf der ganzen Welt verstehen. [...] Um wirklich zu wissen, welche Resultate man glauben kann, muss man Teil eines inneren Zirkels sein und Zugang zu den Experten haben, die den Konsens herstellen." sagt Kevin Buzzard.
Oder man beweist die Sätze formal.
Weitere Episoden von „Pi ist genau 3“
- PGD meets Eigenraum 2. November 2022
- Knotentheorie 6. Mai 2022
- ABC Vermutung 7. März 2022
- Escher 11. Februar 2022
- Natürliche Zahlen 1. Februar 2022
- Krümmung 15. Januar 2022
- Das Auswahlaxiom 14. Dezember 2021
- Orangen stapeln 30. November 2021
- 3d und 4d Polytope 10. November 2021
- Tipps zum Studienstart 6. Oktober 2021
- Algebraische Statistik 25. September 2021
- Origami 16. Juli 2021
- Tau ist genau 6 7. Juli 2021
- Nicolas Bourbaki 18. Juni 2021
- Kontinuum 7. Juni 2021
Alle Episoden von Pi ist genau 3 · Mehr Wissenschaft-Podcasts