Abstract
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:
Left-Hand-Side(N)=Right-Hand-Side(N).
For each whole-number value of the parameter N, 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 famous results of Gödel and Turing using ideas from a new field called algorithmic information theory.
Originally appeared in International Journal of Bifurcation and Chaos 4 (1994), pp. 3–15
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Bibliography
G. J. Chaitin, Algorithmic Information Theory, revised third printing, Cambridge University Press, 1990.
G. J. Chaitin, Information, Randomness & Incompleteness, second edition, World Scientific, 1990.
G. J. Chaitin, Information-Theoretic Incompleteness, World Scientific, 1992.
G. J. Chaitin, “Exhibiting randomness in arithmetic using Mathematica and C”, IBM Research Report RC-18946, 94 pp., June 1993. (To obtain this report in machine readable form, send e-mail to chaitin@watson.ibm.com.)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chaitin, G.J. (1995). Randomness & complexity in pure mathematics. In: López-Peña, R., Waelbroeck, H., Capovilla, R., García-Pelayo, R., Zertuche, F. (eds) Complex Systems and Binary Networks. Lecture Notes in Physics, vol 461-461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0103568
Download citation
DOI: https://doi.org/10.1007/BFb0103568
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60339-9
Online ISBN: 978-3-540-44937-9
eBook Packages: Springer Book Archive