32 Min. hören
Formale Beweise
Bewertungen:
Länge:
37 Minuten
Freigegeben:
7. Apr. 2022
Format:
Podcastfolge
Beschreibung
"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.
Oder man beweist die Sätze formal.
Freigegeben:
7. Apr. 2022
Format:
Podcastfolge
Titel in dieser Serie (53)
Große Zahlen von Pi ist genau 3