Affiliation:
1. IBM Research Division, P.O. Box 704, Yorktown Heights, NY 10598, USA
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: [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.
Publisher
World Scientific Pub Co Pte Lt
Subject
Applied Mathematics,Modelling and Simulation,Engineering (miscellaneous)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献