The real math was the dead-ends we found along the way
Back in May I wrote about David Bessis’ essay “ The fall of the theorem economy ”. In it, he argued that theorem proving has historically been a reliable proxy for producing conceptual innovation and insight in mathemati…