[FOM] Voevodsky's talk

Walt Read walt.read at gmail.com
Thu Jun 9 19:52:05 EDT 2011

Allowing that Voevodsky generated more heat than necessary in his
talk, it still seems that this is work that serious people take
seriously. I would be interested in hearing from somebody that could
help clarify the relationship between the homotopy type theory work
and ``classic FOM". Is HoTT intended/expected to resolve what classic
FOM hasn't? Is it rather heading in a different direction? How does
this work interact with/affect the more traditional line of study in


More information about the FOM mailing list