Computer und KI: Retter der Mathematik? from Spektrum-Podcast

Computer und KI: Retter der Mathematik?

28 minutes Posted Aug 29, 2025 at 3:59 am.

) Intro

) Das Paradoxe am berühmten Paradoxon

) Die Lösung durch zwei Schüler*innen – Wer sind sie?

) Was haben sie gemacht?

) Die Schwierigkeit der Prüfung moderner Mathematik

) Die Wichtigkeit von Definitionen und Beweisen

) Hoffnung Computer: Wie?

) Programmiersprache Lean

) Beispiele anderer Formalisierungsprojekte?

) Herausforderungen bei Formalisierungen?

Das paradoxe am berühmten Paradoxon

Die Lösung durch zwei Schüler*innen – Wer sind sie?

Was haben sie gemacht?

Die Schwierigkeit der Prüfung moderner Mathematik

Die Wichtigkeit von Definitionen und Beweisen

Hoffnung Computer: Wie?

Programmiersprache Lean

Beispiele anderer Formalisierungsprojekte?

Herausforderungen bei Formalisierungen?

0:00

28:25

Download MP3

Share at current time

Show notes

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.

(

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

← See all 302 episodes of Spektrum-Podcast