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
Wissenschaft & Technik
Spektrum-Podcast Folgen
Vom Ursprung des Lebens über die moderne Medizin bis zu den Geheimnissen des Kosmos: Die Welt der Wissenschaft ist groß. Im "Spektrum-Podcast" erlebt ihr ihre ganze Vielfalt. Jede Woche tauscht sich detektor.fm-Moderator Marc Zimmer mit den Spektrum-Redakteurinnen und -Redakteuren über aktuelle Forschungsthemen und Studien aus: verständlich, fundiert und immer nah dran an den wichtigsten Fragen unserer Zeit. Der “Spektrum-Podcast” ist ein Podcast von Spektrum der Wissenschaft und detektor.fm– zum Staunen, Nachdenken und Weitererzählen.
Folgen von Spektrum-Podcast
291 Folgen
-
Folge vom 29.08.2025Computer und KI: Retter der Mathematik?
-
Folge vom 22.08.2025Pflanzen der Zukunft: Chancen und Risiken der GenomeditierungMit Genomeditierung und Crispr/CAS lassen sich Pflanzen gezielt so verändern, dass sie gegenüber Klimabedingungen oder Schädlingen widerstandsfähiger werden. Ist das die Landwirtschaft der Zukunft? (00:02:07) Geschichte der gezielten Pflanzenzucht (00:04:20) Genomeditierung – Was genau passiert da? (00:06:02) CRISPR/Cas – Was genau ist das? (00:08:37) Welche Eigenschaften werden gezielt verändert? (00:10:19) Warum sind Mofifikationen notwendig? (00:12:46) Unterschied zur klassischen Gentechnik (00:14:46) Anwendungen der Genomeditierung (00:17:10) Ethische Fragen zu Genomeditierung (00:20:32) Gesetzliche Differenzierung (00:21:44) Zukunft der gesetzlichen Regulierung (00:22:29) Weiteres der Themenwoche (00:24:08) BEATS & BONES Festival – Gewinnspiel 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-genomeditierung-crispr-pflanzenzucht
-
Folge vom 15.08.2025Von Freud bis heute: Das Jahrhundert der PsychologieSeit Freud ist viel passiert: Was die Ideen der großen Denker heute noch taugen und wie die Psychologie den Spagat zwischen Forschung und populärwissenschaftlichen Ratgebern schafft. (00:02:00) Was hat dich bewogen, dieses Buch zu schreiben? (00:03:58) Psychologie, Psychoanalyse, Psychotherapie (00:09:27) Wie war die Zeit damals in Wien? (00:13:05) CG Jung, Adler, Freud – Einfluss auf das Fach? (00:17:51) Große Denker mit Marotten (00:19:55) Warum hört man keine Frauennamen? (00:23:47) Thema Sex und Verlangen – Wie wurde das aufgenommen? (00:28:23) Der Zeitgeist des Fachs (00:30:26) Wie hat sich unsere Vorstellung gewandelt? (00:34:04) Ist es also das Jahrhundert der Psychologie? (00:37:19) Wo stehen wir heute? 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-geschichte-der-psychologie
-
Folge vom 08.08.2025Wie sich Emotionen auf die Gesundheit auswirkenNegative Gefühle erhöhen das Risiko für Herzkrankheiten. Positive Emotionen dagegen können unser Herz-Kreislauf-System nachhaltig schützen, zeigen Studien. (00:01:43) Terroranschläge 9/11 war Start eurer Geschichte – inwiefern? (00:04:14) Einfluss des Gefühlslebens auf das Herz-Kreislauf-System (00:05:40) Genauer Ablauf im Körper (00:08:26) Gefahr von starken negativen Emotionen (00:11:43) Einfluss emotionales Erleben auf die Herzgesundheit (00:14:27) Helfen positive Gefühle der Gesundheit? (00:15:35) Woran liegt das? (00:16:57) Lässt sich das Wissen medizinisch nutzen? (00:21:02) Gewinnspiel 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-emotionen-gesundheit