1845 links
Red Beard
Home
Login
Tag cloud
Links per page:
100
200
300
page 1 / 1
Univalent foundations for mathematics?
'When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics.'
2017-10-03
- permalink
-
-
https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/
mathématiques
Links per page:
100
200
300
page 1 / 1