detektor.fm | Wissen Folgen

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

Curt Herzstark erfindet im Zweiten Weltkrieg den ersten Taschenrechner, der wirklich in eine Tasche passt. Die Pläne dazu muss er als Häftling im Konzentrationslager zeichnen. Das fast vierstündige Interview mit Curt Herzstark über sein Leben und seine Erfindung findet ihr hier. Hier könnt ihr sehen, wie eine CURTA aussieht und funktioniert. Die Idee für diesen Podcast hat Demian Nahuel Goos am MIP.labor entwickelt, der Ideenwerkstatt für Wissenschaftsjournalismus zu Mathematik, Informatik und Physik an der Freien Universität Berlin, ermöglicht durch die Klaus Tschira Stiftung. (00:00:00) Die Erfindung (00:04:26) Herzstark im KZ Buchenwald (00:05:57) Das Taschenrechner-Wunderkind (00:08:10) Alle brauchen einen (kleinen) Taschenrechner (00:10:48) Herzstark wird verhaftet (00:12:32) Kein Geschenk für den Führer (00:16:49) Wie funktioniert die CURTA? (00:17:43) Der Abakus (00:21:48) Die CURTA als Abakus 2.0 (00:28:15) Können Mathematiker gut kopfrechnen? (00:30:50) Fazit und Verabschiedung ➡️ Artikel zum Nachlesen: https://detektor.fm/wissen/geschichten-aus-der-mathematik-curt-herzstark

Ein grauer Flakbunker aus der NS-Zeit wird in Hamburg zum grünen Wahrzeichen. Wo einst Geschütze standen, kühlen heute Pflanzen die Luft und speichern Regenwasser: Der grüne Bunker ist Hamburgs ungewöhnlichstes Klimaprojekt. Aber was wurde dort eigentlich gebaut? Näheres zum Kooperationspartner LichtBlick: https://www.lichtblick.de Hier hört ihr die Folge zu klimaresilienten Städten: https://detektor.fm/wissen/mission-energiewende-resiliente-lebensraeume  ➡️ Artikel zum Nachlesen: https://detektor.fm/wissen/mission-energiewende-hamburgs-gruener-bunker