Stichwort

Vladimir Voevodsky

1 Presseschau-Absatz
Magazinrundschau 31.05.2015 […] Wenn man Kevin Hartnett und seinem von vielen Exkursen ins Feld der mathematischen Theorie gestützten Porträt des Mathematikers Vladimir Voevodsky glauben kann, steht hier allerdings seit einiger Zeit eine buchstäblich an die Grundlagen rührende Revolution bevor: Um zu verhindern, dass bei der Beweisführung mathematischer Grundannahmen übersehene Fehler mitgeschleppt werden und sich festsetzen, arbeitet dieser an einer computergestützten, univalenten Sprache, anhand derer theoretische Mathematiker ihre Arbeiten besser darstellen und vor allem besser überprüfen können: "Schlussendlich möchte Voevodsky die univalente Basis dafür nutzen, um Aspekte der Mathematik zu erforschen, die unter den Bedingungen der Mengenlehre unzugänglich waren. […]