Xah Talk Show 2019-08-07 story of math crisis, math foundation, proof theory, and homotopy type theory

Xah Talk Show 2019-08-07 story of math crisis, math foundation, proof theory, and homotopy type theory

At 1:02:45, my explanation of “law of excluded middle” is incorrect. What i said there is “principle of bivalence”, which mean a proposition is either true or false. Law of Excluded Middle is the principle for believing the validity of Proof By Contradiction, at 1:14:16. Intuitionist do not believe Law of Excluded Middle, thus do not buy any proof done by contradiction.

topics covered:

math crisis in history:

schools of thought:

bleeding edge: homotopy type theory

If you have a question, put $5 at patreon and message me.