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
5
22 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 detektor.fm | Wissen
View all
Das Wissen | SWR
112 Listeners
Wissenschaft im Brennpunkt
21 Listeners
Radiowissen
111 Listeners
IQ - Wissenschaft und Forschung
43 Listeners
Welt der Physik | Podcast
11 Listeners
Wissenschaft und Technik
9 Listeners
ZEIT WISSEN. Woher weißt Du das?
51 Listeners
detektor.fm | Wirtschaft
1 Listeners
detektor.fm | Podcasts
1 Listeners
Forschungsquartett
2 Listeners
Hörsaal - Deutschlandfunk Nova
21 Listeners
Antritt – Der Fahrradpodcast
7 Listeners
detektor.fm | Digital
0 Listeners
Wissenschaft auf die Ohren
9 Listeners
brand eins-Podcast
1 Listeners
Eine Stunde History - Deutschlandfunk Nova
99 Listeners
Kunst und Leben – Der Monopol Podcast
8 Listeners
Spektrum-Podcast
19 Listeners
Grams’ Sprechstunde – Der Podcast für echt gute Medizin
0 Listeners
Schneller schlau - Der kurze Wissenspodcast von P.M.
7 Listeners
Aha! Zehn Minuten Alltags-Wissen
31 Listeners
Teurer Fahren
4 Listeners
Geschichten aus der Mathematik
1 Listeners