Search

Home > Wissen – detektor.fm > Computer und KI: Retter der Mathematik?
Podcast: Wissen – detektor.fm
Episode:

Computer und KI: Retter der Mathematik?
Category: Education
Duration: 00:28:25
Publish Date: 2025-08-29 03:59:39
Description: 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
Total Play: 0

Users also like

100+ Episodes
Spanisch mit .. 500+     30+
80+ Episodes
Mein lieber .. 100+     9
2K+ Episodes
Auf die Zwö .. 20+     1
100+ Episodes
Herz auf der .. 900+     80+
1K+ Episodes
scobel 1K+     50+