Skip to content
Computer und KI: Retter der Mathematik? episode artwork

Aug 29, 2025 28 min

Computer und KI: Retter der Mathematik?

from Spektrum-Podcast Hosted by Marc Zimmer

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

Episode details come from the podcast's RSS feed.

Embed this episode

Ready to play

Computer und KI: Retter der Mathematik?

0:00 28:25

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar episodes

#32 ELKWs - die Transportmittel der Zukunft?

Nov 19, 2024 18 min

#29 Welche Rolle spielt die Diversität in der Mobilität?

Oct 9, 2024 20 min

#28 Wie zuverlässig ist die E-Mobilität?

Sep 25, 2024 28 min

#26 Wie verlängert sich die Lebensdauer einer E-Auto-Batterie

Jun 19, 2024 20 min

Rechtsruck in der EU – Was bedeutet das für Deutschland?

Jun 11, 2024 1 hr 4 min

#22 Wie gehts weiter mit der Ladeinfrastruktur?

Apr 24, 2024 29 min

Similar podcasts

The Course Mentors Podcast The Course Mentors Hey there, future course creator! Ever feel like turning your know-how into an online course is like trying to solve a Rubik's cube blindfolded? Well, grab your headphones because "The Course Mentors Podcast" is here to be your secret weapon! Meet Aimee and Odette (that's us!), your new best friends in the course creation world. We've been in the trenches for over a decade, and for the last five years, we've been rocking the online course space. Now we're here to spill all our secrets in bite-sized, 15-20 minute episodes that'll fit perfectly in your coffee breaks. No fluff, no filler - just real, actionable advice that'll take you from "um, what's a landing page?" to "holy moly, I just hit six figures!". We're talking everything from crafting your course to marketing it like a pro and building a business that'll have you pinching yourself. Whether you're dreaming of ditching the 9-to-5 grind, adding a sweet extra income str

Frequently asked questions

How long is this episode of Spektrum-Podcast?

This episode is 28 minutes long.

When was this Spektrum-Podcast episode published?

This episode was published on August 29, 2025.

Is there a transcript available for this episode?

Yes, a full transcript is available for this episode. You can read the complete transcript on the episode page.

Can I download this Spektrum-Podcast episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.