Wir verwenden, um die Nutzung unserer Seiten für Sie angenehmer zu gestalten, Cookies. Alle Informationen dazu finden Sie in unserer Datenschutzerklärung.
Ok
Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.
https://youtu.be/Dp-mQ3HxgDE