Copyright © James R Meyer 2012 - 2017 www.jamesrmeyer.com
A book about the great divide in modern mathematics.
The Infinity Delusion is published by Alterologic as an eBook
Available at all good online booksellers.
Why do some people believe that numbers ‘exist’, rather than simply being a concept of our minds? In particular, why should we believe that numbers that consist of the sum of an infinite number of other numbers added together ‘exist’?
And maybe you don’t think it matters very much - but there you would be quite wrong. This book shows how mathematics has become divided into two quite disparate branches, where one branch is based on logical foundations, but the other is based on irrational Platonist beliefs and a failure to understand that ignoring the limitations of language can give erroneous results. This divide should not be confused with the quite different notion of the division of mathematics into ‘pure’ and ‘applied’ mathematics. It is commonly considered that ‘pure’ mathematics covers any mathematics which operates without any reference at all to the real world, whereas ‘applied’ mathematics is when mathematics uses pure mathematics as a base in order to solve real world problems. But the dichotomy that is the subject of this book is not about this distinction between “applied mathematics” and “pure mathematics”.
This book shows how there is one branch of mathematics whose foundations have been built up from observation of the real world; this is real-world mathematics. The other branch is not based on observations of the real world, but is based on an irrational belief in some sort of actual non-physical ‘existence’ of mathematical things such as numbers and sets; this belief that is utterly devoid of any logical foundation. This branch of mathematics has no applied part, and is devoid of any applicability to the real world. This form of ‘mathematics’ is no different to a religion which creates a plethora of pronouncements based upon the presumption of the existence of some non-physical entity. The claims of this branch of mathematics are reliant on a tiny number of proofs which all include logical fallacies. This branch of mathematics can be called fantasy mathematics.
Note that the real-world branch of mathematics referred to above can be further divided into its foundational part which you could call ‘pure’ mathematics, and you could call the other part that applies this foundational part to real world situations ‘applied’ mathematics.
I wrote this book because I became aware as to how little attention is paid to the limitations of language although every time a statement is made that is supposedly logical, that statement must be made in some language. In conventional logical arguments, the limitations of language are almost always ignored. The consequences of this are particularly evident in mathematics, where there are theories that are based on the philosophy that numbers and other mathematical concepts are ‘actual’ things that ‘exist’ independently of any physical reality. Such beliefs are commonly held on an almost subliminal level; most people have never taken the time to carefully examine the basis and the consequences of such beliefs. It is because of such beliefs that detailed considerations of language are ignored - with the result that a detailed evaluation of the possibility of errors due to limitations of language is generally considered unnecessary.
Every statement has to be stated in some language. If assumptions are made that ignore some aspects of the language of the statement, then how can we be sure that the statement is entirely logical? Unless every aspect of such statements is very carefully analyzed, a statement that superficially appears to be logical may actually contain subtle errors of logic.
I decided to write this book because it became apparent to me that the belief in the ‘real’ ‘existence’ of mathematical concepts and the concomitant obliviousness of the limitations of language had resulted in mathematics becoming divided into two quite separate branches. It seemed to me that this was a major obstacle to the future progress of mathematics.
The reader should note that when I started working on this book, I took care to ensure that my approach would not be that one of the two branches was ‘wrong’ and that the other branch was ‘right’. At the outset, my objective was only to show that that while you could have two quite distinct mathematical systems, which are both logically valid and consistent, only one of them seemed to be applicable to real world situations. If I did have any preconception, it was that the theories of both branches were completely logical and coherent – and that the only essential difference between them was that one branch could be applied to the real world, and that the other branch could not.
But as I continued my research, it became clear that one of the branches is based on a number of concepts that are logically untenable, and which are actually contradictory - and that the entire edifice of this branch of mathematics is based on a few key proofs where the ingrained belief in the real non-physical existence of the mathematical notions that the proofs refer to means that any limitations due to language in these proofs are completely ignored. This book is the result of this research.
There is now a new page on Lebesgue measure theory and how it is contradictory.
There is now a new page Halbach and Zhang’s Yablo without Gödel which demonstrates the illogical assumptions used by Halbach and Zhang.
It has come to my notice that, when asked about the demonstration of the flaw in his proof (see A Fundamental Flaw in an Incompleteness Proof by Peter Smith PDF), Smith refuses to engage in any logical discussion, and instead attempts to deflect attention away from any such discussion. If any other reader has tried to engage with Smith regarding my demonstration of the flaw, I would be interested to know what the outcome was.
I found that making, adding or deleting footnotes in the traditional manner proved to be a major pain. So I developed a different system for footnotes which makes inserting or changing footnotes a doddle. You can check it out at Easy Footnotes for Web Pages (Accessibility friendly).
I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.
There is now a new page on Chaitin’s Constant (Chaitin’s Omega), which demonstrates that Chaitin has failed to prove that it is actually algorithmically irreducible.
For convenience, there are now two pages on this site with links to various material relating to Gödel and the Incompleteness Theorem
– a page with general links:
– and a page relating specifically to the Gödel mind-machine debate:
All pages on this website are printer friendly, and will print the main content in a convenient format. Note that the margins are set by your browser print settings.
Please note that this web site, like any other is a collection of various statements. Not all of this web site is intended to be factual. Some of it is personal opinion or interpretation.
If you prefer to ask me directly about the material on this site, please send me an e-mail with your query, and I will attempt to reply promptly.
Feedback about site design would also be appreciated so that I can improve the site.
Copyright © James R Meyer 2012 - 2017