Computer und KI: Retter der Mathematik?
Update: 2025-08-29
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.
>> Artikel zum Nachlesen: https://detektor.fm/wissen/spektrum-podcast-mathematik-lean-computer
(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
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
