![](https://scienceblogs.de/mathlog/files/2012/06/cropped-228-headermathlog-e1347203750829.jpg)
Vor einigen Jahren hatten wir hier mal zu den neuen Möglichkeiten der Computer-Verifikation mathematischer Beweise geschrieben (Was ist ein Beweis?). Das Thema hat sich inzwischen weiterentwickelt, u.a. gab es am IAS in Princeton ein thematisches Jahr 2012/13 über die “univalenten Grundlagen der Mathematik”, aus dem auch ein Buch hervorgegangen ist, und natürlich gab es einige…
Letzte Kommentare