Spektrum der Wissenschaft – Der Podcast | Computer und KI: Retter der Mathematik?

vor 10 Monaten

Könnten Computer und Programme wie der Beweisprüfer Lean die Mathematik retten? Diese Frage stellen sich Forschende weltweit angesichts einer immer komplexer werdenden Disziplin. Denn die Mathematik …

28 Minuten

0 0

Podcast

Podcaster

detektor.fm | Podcasts

detektor.fm - Zurück zum Thema

Musik , Radio , Technologie , Interviews , Nachrichten , Gesellschaft & Kultur

Beschreibung

vor 10 Monaten

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