podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Pi ist genau 3 Podcast
  4. Formale Beweise
"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.

Weitere Episoden

PGD meets Eigenraum

PGD meets Eigenraum

4 Minuten
vor 3 Jahren
Knotentheorie

Knotentheorie

28 Minuten
vor 4 Jahren
ABC Vermutung

ABC Vermutung

33 Minuten
vor 4 Jahren
Escher

Escher

33 Minuten
vor 4 Jahren
Natürliche Zahlen

Natürliche Zahlen

30 Minuten
vor 4 Jahren
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Formale Beweise“

Worum geht es? Danach fragen wir noch nach dem Grund.

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz