A computational no-coincidence principle — Alignment Research Center
In a recent paper in Annals of Mathematics and Philosophy, Fields medalist Timothy Gowers asks why mathematicians sometimes believe that unproved statements are likely to be true. For example, it is unknown whether 𝜋 π is a normal number (which, roughly speaking, means that every digit appears in 𝜋 π with equal frequency), yet this is widely believed. Gowers proposes that there is no sign of any reason for 𝜋 π to be non-normal -- especially not one that would fail to reveal itself in the first million digits -- and in the absence of any such reason, any deviation from normality would be an outrageous coincidence. Thus, the likely normality of 𝜋 π is inferred from the following general principle: No-coincidence principle (Gowers): If an apparently outrageous coincidence happens in mathematics, then there is a reason for it. In other words: suppose that the digit 3 accounts for not 10% but 11% of digits in the decimal expansion of 𝜋 π . Intuitively, there ought to be an explana
In a recent paper in Annals of Mathematics and Philosophy, Fields medalist Timothy Gowers asks why mathematicians sometimes believe that unproved statements are likely to be true. For example, it is unknown whether \(\pi\) is a normal number (which, roughly speaking, means that every digit appears in \(\pi\) with equal frequency), yet this is widely believed. Gowers proposes that there is no sign of any reason for \(\pi\) to be non-normal -- especially not one that would fail to reveal itself in the first million digits -- and in the absence of any such reason, any deviation from normality wou
related reading
- Shtetl-Optimizedscottaaronson.blog
- Computational Complexityblog.computationalcomplexity.org
- The fall of the theorem economydavidbessis.substack.com
- Formal verification, heuristic explanations and surprise accounting — Alignment Research Centeralignment.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Enough with all the world-historic milestonesscottaaronson.blog
- Reasons to believescottaaronson.blog
- A Mike's-Eye View of ARC's Research — Alignment Research Centeralignment.org
- Competing with sampling — Alignment Research Centeralignment.org