Computer und KI: Retter der Mathematik?

Spektrum-Podcast

A tartalmat a Detektor.fm – Das Podcast-Radio biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Detektor.fm – Das Podcast-Radio vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

1M ago 28:25

MP3•Epizód kép

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

Fejezetek

1. Das paradoxe am berühmten Paradoxon (00:01:45)

2. Die Lösung durch zwei Schüler*innen – Wer sind sie? (00:03:30)

3. Was haben sie gemacht? (00:05:39)

4. Die Schwierigkeit der Prüfung moderner Mathematik (00:06:48)

5. Die Wichtigkeit von Definitionen und Beweisen (00:08:32)

6. Hoffnung Computer: Wie? (00:10:37)

7. Programmiersprache Lean (00:12:25)

8. Beispiele anderer Formalisierungsprojekte? (00:15:47)

9. Herausforderungen bei Formalisierungen? (00:22:20)

265 epizódok

#Spektrum #Forschung #Wissen #Science #Wissenschaft #Gesellschaft #Bildung #Umwelt #Dokumentationen #Naturwissenschaften