Formale Beweise

Podcast: Pi ist genau 3

Erschienen: 07.04.2022
Dauer: 00:36:32

"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 Informationen und umfangreichere Shownotes gibt es ggf. auf der Podcast-Website.

Podcast-Website: Episode "Formale Beweise"

Logo Podcast "Pi ist genau 3"
Merken
QR-Code