RANDOMNESS AND COMPLEXITY IN PURE MATHEMATICS
Gregory J. Chaitin · International Journal of Bifurcation and Chaos · 1994
One normally thinks that everything that is true is true for a reason. I’ve found mathematical truths that are true for no reason at all. These mathematical truths are beyond the power of mathematical reasoning because they are accidental and random. Using software written in Mathematica that runs on an IBM RS/6000 workstation, I constructed a perverse 200-page algebraic equation with a parameter N and 17,000 unknowns: [Formula: see text] For each whole-number value of the parameter N, we ask whether this equation has a finite or an infinite number of whole number solutions. The answers escape the power of mathematical reason because they are completely random and accidental. This work is an extension of the famous results of Gödel and Turing using ideas from a new field called algorithmic information theory.