Post #3040399

From time to time I like to dabble in philosophy, and a little while ago I wrote an article, based on two seminars I had given at the Collège de France, on probabilistic judgments in mathematics. What are they, and how do we make them? One might argue that a decidable mathematical statement either has a proof or has a disproof, so either it is definitely true or it is definitely false. And yet mathematicians frequently express degrees of belief in statements for which they lack proofs or disproofs. 1/ https://mxphi.com/wp-content/uploads/2023/04/MxPhi-Gowers2023.pdf