Re:Univalent Foundations: New Foundations of Mathematics [vi...
by baoyu on Monday March 31, 2014 @01:15AM
(#7499772)
Vladimir Voevodsky received Fields medal in 2002, so please note that it's not usual amateurish try to create new mathematics while knowing nothing about the old one.
[ Parent
| on HN ]
There are no comments on this comment yet.