You can think of a proof as a social compact — a sort of mutual agreement between the author and their mathematical community. We've seen an extreme example of this not working, with Mochizuki's claimed proof of the abc conjecture. And I should say, Hilbert didn't start off doing this for abstract reasons. He was […]
Read more of this post
No comments:
Post a Comment