Startseite
Podcasts
detektor.fm | Wissen Podcast
Computer und KI: Retter der Mathematik?

Computer und KI: Retter der Mathematik?

detektor.fm | Wissen vor 1 Jahr

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) In…

0:00

28:25

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