[FOM] Voevodsky's talk

[Walt Read]

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
foundations?

-Walt