Where I grew up in Mtl is unusual: right downtown, at the corner of City Councillors and Sherbrooke St (1951-1960). Hard to believe there were attached single-family houses on that street!

]]>But I ended up at Smith College, and then Macalester College, and am now retired in Colorado (at 10,000 feet elev).

]]>The argument above gives a counterexample assuming the existence of some statement $\phi$ such that $\phi \lor \lnot\phi$ is not true. In that case, the set $\{p,\{0\}\}$ is not decidable since $p = \{0\}$ is equivalent to $\phi$. Of course, and this is the main point of my post, this example uses extensionality.

]]>If I had to guess, it would be the thesis that HOTT can replace ZFC as an adequate “foundation for mathematics”?

]]>