Pi ist genau 3   /     Formale Beweise

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.

Subtitle
Duration
00:36:32
Publishing date
2022-04-07 08:10
Link
https://pi-ist-genau-3.de/formale-beweise/
Deep link
https://pi-ist-genau-3.de/formale-beweise/#
Contributors
  Petra Schwer und Thomas Kahle
author  
Enclosures
https://pi-ist-genau-3.de/podlove/file/253/s/feed/c/mp3/PGD051.mp3
audio/mpeg

Shownotes

“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.

Feedback gerne an feedback (bei) pi-ist-genau-3.de