0:00-28:25
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
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
- 1:45Das paradoxe am berühmten Paradoxon
- 3:30Die Lösung durch zwei Schüler*innen – Wer sind sie?
- 5:39Was haben sie gemacht?
- 6:48Die Schwierigkeit der Prüfung moderner Mathematik
- 8:32Die Wichtigkeit von Definitionen und Beweisen
- 10:37Hoffnung Computer: Wie?
- 12:25Programmiersprache Lean
- 15:47Beispiele anderer Formalisierungsprojekte?
- 22:20Herausforderungen bei Formalisierungen?