I use univalence. I am self taught. I’m glad I can relate and not go nuts trying to understand classical physics. Very happy. Thankyou.

Very clear and interesting exposition of a new foundations program (or philosophy) of mathematics.

I now will absolutely enjoy my accomplishments on their own merits.

Excellent lecture.

Thankyou