Computer und KI: Retter der Mathematik?
Spektrum-Podcast
00:00
Die Zukunft der Mathematik mit Lean
In diesem Kapitel wird die Programmiersprache Lean vorgestellt, die der formalen Mathematik und Programmierung dient. Es wird erörtert, wie Lean die Formalisierung von mathematischen Beweisen revolutionieren kann und die Zusammenarbeit von Mathematikern sowie Freiwilligen fördert.
Play episode from 12:26
Transcript
