
PGD meets Eigenraum
Nov 2, 2022 - 00:04:28
Radio and PodcastLive Radio & Podcasts
"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 un...
Formale Beweise is an episode from Pi ist genau 3 by Thomas Kahle. "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 ka...
This episode belongs to Pi ist genau 3.
Use the player on this page to stream the episode online.
Published Apr 7, 2022, 00:36:32 long, audio available.
"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.
You can listen to Formale Beweise online on Radio and Podcast. Open the player on this page to stream the available audio.
Formale Beweise is an episode from Pi ist genau 3 by Thomas Kahle.
This episode is 00:36:32 long.
This episode was published on Apr 7, 2022.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Pi ist genau 3 when more episodes are available from the podcast feed.
You can listen to Formale Beweise on this page when the episode audio is available from the podcast feed.
Formale Beweise is from Pi ist genau 3 by Thomas Kahle.
Published Apr 7, 2022 and 00:36:32 long