khafra comments on Rationality Quotes April 2014 - LessWrong

8 Post author: elharo 07 April 2014 05:25PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Tags: quotes

Comments (656)

Sort By: Best

Show:

You are viewing a single comment's thread. Show more comments above.

Comment author: khafra 03 April 2014 01:53:38PM 4 points [-]

And his textbook on the new univalent foundations of mathematics in homotopy type theory is here.

Comment author: JeremyHahn 04 April 2014 06:23:43AM 6 points [-]

It is misleading to attribute that book solely to Voevodsky.