Fascinating paper. As a math graduate I had no idea that the switch to axiomatic descriptions and formal logical proofs was so recent and controversial, and no

Fascinating paper. As a math graduate I had no idea that the switch to axiomatic descriptions and formal logical proofs was so recent and controversial, and no longer working in math I had no idea that "core" methodologies (i.e. pure mathematics) are under threat (although this makes perfect sense given grant funding priorities).