On reasonably sure proofs
I happened to come across a 1993 opinion piece, Theorems for a price: Tomorrow’s semi-rigorous mathematical culture by Doron Zeilberger. I think it’s a rather fascinating document as it questions the future of mathematical proof. Its basic thesis is that some time in the future of mathematics, the expectation of proof will move to a […]