detektor.fm | Podcasts 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

Fast 5000 Kilometer ohne jede Unterstützung: Das Transcontinental Race zählt zu den härtesten Radrennen der Welt. Martin Moritz ist in diesem Jahr Zweiter geworden und berichtet von diesem besonderen Rennen. (00:00:00) Intro (00:02:01) Begrüßung Martin Moritz (00:03:13) Vom TCR zurück in den Alltag (00:04:23) Wieso Ultra-Distanz-Radrennen? (00:07:51) „The Ferry Race“ (00:12:39) Begegnung mit Victor Bosoni (00:22:48) Schlafen beim TCR (00:25:23) Entscheidung für das TCR (00:28:01) Vorbereitung für das TCR (00:32:26) Hochs und Tiefs (00:35:47) Die gesperrte Brücke und der Schlussparcours (00:43:45) Was bleibt vom TCR? (00:47:24) Verabschiedung (00:48:10) Kraftwerk – Trans-Europa Express Hier könnt ihr uns bei Steady unterstützen: https://steadyhq.com/de/antritt/about Hier entlang geht’s zu den Links unserer Werbepartner: https://detektor.fm/werbepartner/antritt   >> Artikel zum Nachlesen: https://detektor.fm/gesellschaft/antritt-transcontinental-race

Wie einflussreich ist Social Media im Tourismus? Und kann Overtourism eine Chance sein, Tourismus zukünftig anders zu gestalten? Der Tourismusforscher Harald Pechlaner im Gespräch. (00:00:00) Intro (00:01:06) Begrüßung Harald Pechlaner (00:01:36) Gesellschaftlicher Vertrauensverlust und Social Media (00:03:31) Folgen von Social Media für Reiseverhalten (00:07:55) Social Media Marketing vs. traditionelles Tourismusmarketing (00:11:01) Unglaubwürdigkeit im Social Media Marketing (00:12:28) Overtourism als Chance (00:18:47) Lösungsansätze für einen neuen Tourismus (00:28:03) Optimistischer Blick auf die Zukunft des Tourismus (00:29:19) Ausblick und Tipps WERBUNG Das digitale Geschäftskonto von QONTO kombiniert Tools für die Rechnungsstellung, Buchhaltung und das Ausgabenmanagement, angepasst auf eure Bedürfnisse. Weitere Infos unter qonto.de. Hier entlang geht’s zu den Links unserer Werbepartner: https://detektor.fm/werbepartner/brand-eins-podcast Und hier entlang geht’s zum aktuellen brand eins Magazin: https://www.brandeins.de/products/brand-eins-08-2025   >> Artikel zum Nachlesen: https://detektor.fm/wirtschaft/brand-eins-podcast-harald-pechlaner-overtourism