THE USEFULNESS OF USELESS KNOWLEDGE

The Origins and Motivations of Univalent Foundations.

Can One Hear the Shape of a Drum?

Harmonic Analysis in Mathematics.

What's a mathematician to do?

ON PROOF AND PROGRESS IN MATHEMATICS.

On being Thurstonized.

VECTOR BUNDLES AND CONNECTIONS IN PHYSICS.

Noether’s Revolutionary Theorem

"Surely You're Joking, Mr. Feynman!"