FWIW, Voevodsky won the Fields medal (aka the 'Mathematician's Nobel) in 2002. --Barry
On Sep 5, 2013, at 11:45 AM, Owen Densmore <[email protected]> wrote: > Cool! "two dozen mathematicians who wrote a 600 page book in less than half > a year" > http://homotopytypetheory.org/book/ > .. and its on GitHub! > > Interesting blog post on the process: > http://math.andrej.com/2013/06/20/the-hott-book/ > > -- Owen > > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
signature.asc
Description: Message signed with OpenPGP using GPGMail
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
