Formale Beweise - podcast episode cover

Formale Beweise

Apr 07, 202237 minEp. 51
--:--
--:--
Listen in podcast apps:
Metacast
Spotify
Youtube
RSS

Episode description

"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.
For the best experience, listen in Metacast app for iOS or Android
Open in Metacast
Formale Beweise | Pi ist genau 3 podcast - Listen or read transcript on Metacast