Sign up to save your podcasts
Or
Share Computer und KI: Retter der Mathematik?
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Computer und KI: Retter der Mathematik?
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
View all episodes
By detektor.fm – Das Podcast-Radio
4.6
88 ratings
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
More shows like Spektrum-Podcast
View all
Radiowissen
111 Listeners
IQ - Wissenschaft und Forschung
47 Listeners
Welt der Physik | Podcast
7 Listeners
Wissenschaft und Technik
5 Listeners
Forschungsquartett
2 Listeners
AstroGeo - Geschichten aus Astronomie und Geologie
6 Listeners
Sternengeschichten
46 Listeners
Wissenschaft auf die Ohren
4 Listeners
Wissenschaft im Brennpunkt
23 Listeners
Das Wissen | SWR
109 Listeners
ZEIT WISSEN. Woher weißt Du das?
45 Listeners
Forschung aktuell
11 Listeners
Sternzeit
6 Listeners
Grams’ Sprechstunde – Der Podcast für echt gute Medizin
0 Listeners
Quarks Daily
41 Listeners
Das Universum
12 Listeners
Geschichten aus der Mathematik
0 Listeners