Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.
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