Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.
![](https://scienceblogs.de/mathlog/files/2012/06/cropped-228-headermathlog-e1347203750829.jpg)
![](https://i2.wp.com/scienceblogs.de/mathlog/files/2019/10/0441F39E-7BF6-4CFE-94B9-8041731DC1DA.png?fit=590%2C442&ssl=1)
Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.
© 2024 Konradin Medien GmbH.
ScienceBlogs ist ein geschütztes Markenzeichen.
Alle Rechte vorbehalten.
Letzte Kommentare