Bessis's thesis that mathematical proof is the residue of intuitive understanding, not its source. Proof is to mathematics what a receipt is to a meal — evidence that something happened, not the thing itself. This reframes the entire 7 history of mathematical philosophy: the Platonism-vs-Formalism debate is a false binary because both mistake the byproduct for the product
