Discover this podcast and so much more

Podcasts are free to enjoy without a subscription . We also offer ebooks, audiobooks, and so much more for just $11.99/month.

Formale Beweise

Formale Beweise

FromPi ist genau 3


Formale Beweise

FromPi ist genau 3

ratings:
Length:
37 minutes
Released:
Apr 7, 2022
Format:
Podcast 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.
Released:
Apr 7, 2022
Format:
Podcast episode