News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.