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
