podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. detektor.fm | Podcasts Podcast
  4. Spektrum der Wissenschaft – Der Podcast | Computer und KI: Retter der Mathematik?
Spektrum der Wissenschaft – Der Podcast | Computer und KI: Retter der Mathematik?

Spektrum der Wissenschaft – Der Podcast | Computer und KI: Retter der Mathematik?

detektor.fm | Podcasts vor 1 Jahr
Zu Sammlung hinzufügen

Du hast noch keine Sammlungen.
Herunterladen (rechte Maustaste) Teilen Fundstellen Kommentare
0:00
28:25
Die Mathematik wird immer komplexer. Computerprogramme wie Lean und
KI sollen künftig helfen, Beweise zu prüfen und Fehler zu
minimieren. Nebenbei fördern sie auch das Teamwork.

(00:00:00) Intro

(00:01:45) Das Paradoxe am berühmten Paradoxon

(00:03:30) Die Lösung durch zwei Schüler*innen – Wer sind
sie?

(00:05:39) Was haben sie gemacht?

(00:06:48) Die Schwierigkeit der Prüfung moderner
Mathematik

(00:08:32) Die Wichtigkeit von Definitionen und Beweisen

(00:10:37) Hoffnung Computer: Wie?

(00:12:25) Programmiersprache Lean

(00:15:47) Beispiele anderer Formalisierungsprojekte?

(00:22:20) Herausforderungen bei Formalisierungen?

Hier entlang geht’s zu den Links unserer Werbepartner:
https://detektor.fm/werbepartner/spektrum-der-wissenschaft

️ Artikel zum Nachlesen:
https://detektor.fm/wissen/spektrum-podcast-mathematik-lean-computer

Weitere Episoden

Geschichten aus der Mathematik | Archimedes und die Frage nach dem Nichts

Geschichten aus der Mathematik | Archimedes und die Frage nach dem Nichts

53 Minuten
vor 21 Stunden
Mission Energiewende: Der Klima-Podcast | Chinas Klimakurs: Sonne, Wind & Kohlestrom

Mission Energiewende: Der Klima-Podcast | Chinas Klimakurs: Sonne, Wind & Kohlestrom

23 Minuten
vor 1 Tag
Kunst und Leben – Der Monopol Podcast | Berlin Art Week 2026 — Der Kunstherbst in Berlin beginnt

Kunst und Leben – Der Monopol Podcast | Berlin Art Week 2026 — Der Kunstherbst in Berlin beginnt

23 Minuten
vor 1 Tag
DAZWISCHEN Der Sachsen-Anhalt-Podcast | Historischer Wahlabend in Sachsen-Anhalt

DAZWISCHEN Der Sachsen-Anhalt-Podcast | Historischer Wahlabend in Sachsen-Anhalt

37 Minuten
vor 3 Tagen
brand eins-Podcast | Gabriele Fischer und Christian Rickens über den Wechsel in der brand eins Chefredaktion

brand eins-Podcast | Gabriele Fischer und Christian Rickens über den Wechsel in der brand eins Chefredaktion

28 Minuten
vor 5 Tagen
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Spektrum der Wissenschaft – Der Podcast | Computer und KI: Retter der Mathematik?“

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