Computer und KI: Retter der Mathematik?
· 28 min
Episode Computer und KI: Retter der Mathematik?
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
Links in the notes 2
Chapters
Transcript
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.