Bessis's framework for mathematical cognition: intuition generates conjectures, formalism tests them, the gap between the two is where understanding lives. Removing either side collapses the system — into superstition (intuition without verification) or bureaucracy (verification without understanding) "The real product of mathematics is not the proof. It's the change in intuition that made the proof possible. We publish the byproduct and discard the product."
