Paul Chun-Kit Lee

The Map and the Territory: A Constructive History of Mathematical Physics

Version 1.1 (02/09/2026) This essay tells the story of 150 years of mathematical physics from an unfamiliar angle. A machine-verified research programme — approximately 11,000 lines of formally checked proofs in the Lean 4 proof assistant — has established that every empirical pr...