0:000:00
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.
<hr>
<p>(00:00:00) Intro<br />
(00:01:45) Das Paradoxe am berühmten Paradoxon<br />
(00:03:30) Die Lösung durch zwei Schüler*innen – Wer sind sie?<br />
(00:05:39) Was haben sie gemacht?<br />
(00:06:48) Die Schwierigkeit der Prüfung moderner Mathematik<br />
(00:08:32) Die Wichtigkeit von Definitionen und Beweisen<br />
(00:10:37) Hoffnung Computer: Wie?<br />
(00:12:25) Programmiersprache Lean<br />
(00:15:47) Beispiele anderer Formalisierungsprojekte?<br />
(00:22:20) Herausforderungen bei Formalisierungen?</p>
<p>Hier entlang geht’s zu den Links unserer Werbepartner: <a class="moz-txt-link-freetext" href="https://detektor.fm/werbepartner/spektrum-der-wissenschaft">https://detektor.fm/werbepartner/spektrum-der-wissenschaft</a></p>
<hr>
>> Artikel zum Nachlesen: <a href="https://detektor.fm/wissen/spe...