2 ms·
Which is a problem tho.
by adamnemecek 9y ago
Which is a problem tho.
- mcphage 9y agoWhat do you see as the problems with that?
- adamnemecek 9y agoLack of checkability which slows down progress. Look into work of the late Vladimir Voevodsky https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/ https://www.quantamagazine.org/univalent-foundations-redefin...