Logic and Language
Load the menuLoad the menu


Copyright   James R Meyer    2012 - 2023 https://www.jamesrmeyer.com

Is Set Theory the Root of all Mathematics?


 

 


 

Page last updated 15 Jan 2023

 

Since the arrival of Quantum Mechanics and Einstein’s theory of General Relativity in the first part of the 20th century, physicists have hoped that they might discover a ‘Theory of Everything’ that would explain all of the physical world. As yet, no-one knows if we will ever be able to come up with such a theory. On the other hand, mathematicians claim that today’s Non-Natural set theory really is a ‘Theory of Everything’ for mathematics; they claim that it provides the core foundation for all of mathematics for all time. But Non-Natural set theory is flawed at its very core, and the notion that it should be the foundation stone of all mathematics is preposterous.

 

An irrational number is often defined by reference to a “Cauchy sequence”, which defines an irrational number by referring to a limitlessly large set of ever-decreasing rational numbers. For example, Pi can be defined as the limiting value of the infinite series 4 - 43 + 45 - 47 + 49 + … (Liebniz’s series), and as the limiting value of the series 3 + 424 - 4120 + 4336 - 4720 … (Nilakantha’s Series). In terms of Non-Natural set theory, one might define the irrational number to be the set that is the summation of all those ever-decreasing rational numbers. Of course, a real number is commonly asserted to be just this, for example, in the decimal system, a real number is usually asserted to be something such as 89.238467612… where the real meaning of the dots is conveniently ignored.

 

However, such a definition as an actual summation of a limitless quantity of numbers leads us straight into contradictions, such as in Sums of infinitely many fractions and The Courant & Robbins Contradiction.

 

On the other hand, without using Non-Natural set theory, we could define the irrational number as the limiting value of all finite sums of such rationals, and we don’t arrive at these contradictions.

 

One might believe that the difficulty might be evaded by defining a set A as the set of all finite sums of all the ever-decreasing rational numbers, and that from this set one can claim that there is a “supremum” of this set A, which is a value that is greater than every element of A.

 

However, there are problems with this within Non-Natural set theory, one problem being that, in Non-Natural set theory, since everything is a set, this supremum must be a set, yet it has been defined without any reference to what its elements might be. This is a problem for Non-Natural set theory; since there are infinitely many such supremum sets, we now have infinitely many sets for which there is no way of determining what the elements of such supremum sets are.

 

With such a Non-Natural set theory it can be seen that, for example, the number Pi arises not as a set defined by direct reference to the properties of its elements, but by a definition that refers to infintely many sets that are deemed to represent ever-decreasing rational numbers. But how does a real world mathematician refer to the number Pi? By a definition that refers to ever-decreasing rational numbers, without any need to refer to complex infinite sets.

 

So, despite the persistent claim that Non-Natural set theory encompasses all of mathematics, in fact it doesn’t add anything of any use to the mathematics that is used in real world science and technology. But the unrelenting contention continues that Non-Natural set theory is the foundation for all mathematics for all time, that it is indispensable to the foundations of mathematics. All that has happened is that Non-Natural set theory attached its definitions onto the definitions that were already defined for ordinary real world mathematics. There’s nothing there to indicate that Non-Natural set theory has some extra essential basis of mathematics that ordinary real world mathematics doesn’t have. As the mathematician William Thurston (1946-2012) remarked: (Footnote: William Thurston, quoted in article, ‘The Death of Proof ’, by John Horgan, Scientific American, October 1993.)

Set theory is based on polite lies, things we agree on even though we know they’re not true. In some ways, the foundations of mathematics have an air of unreality ’.

 

Numbers and set theory

In Non-Natural set theory, sets are not objects that elements of sets, but do we want - or need - to be able to refer to numbers as objects that can be elements of sets? The notion that numbers should be sets only arose following Cantor’s ideas - prior to Cantor the notion that numbers should be sets did not exist, and yet real world mathematics had developed before that without any need for the notion, and indeed, continues to do so. We must get completely away from the notion that sets should be numbers, or that numbers should be sets. Peano arithmetic provides a simple staring point that does not require any sets, see for example: The Peano Axioms at Wolfram.

 

It would appear that in real world applications there is no need for any requirement that sets can be elements - that all the mathematics that is used in real world applications has no need of that concept. Of course, if sets are not numbers then the whole edifice of transfinite sets as transfinite numbers within Non-Natural set theory has its foundations of sand pulled out from under it - and this is the way that it should be, since, as demonstrated elsewhere on this site, the notion of transfinite numbers is replete with absurd contradictions that would not be tolerated in any science.

 

At this point it is important to realize that when a set theorist talks about a Non-Natural set as a number, although it is commonly assumed that such a “set~number” is exactly the same, in every respect, as a number that we refer to in normal English terminology and in real world mathematics, the reality is that the properties of these “set~numbers” are not identical to those of numbers used in real world mathematics. And since that is the case, it is an illogical leap of faith to simply assume that such “set~numbers” will always behave like a the real numbers of real world mathematics. They don’t, the use of the same term “number” for two different definitions does not make those definitions equivalent.

section divider

Footnotes:

section divider

 

Interested in supporting this site?

You can help by sharing the site with others. You can also donate at Go Get Funding: Logic and Language where there are full details.

 

 

As site owner I reserve the right to keep my comments sections as I deem appropriate. I do not use that right to unfairly censor valid criticism. My reasons for deleting or editing comments do not include deleting a comment because it disagrees with what is on my website. Reasons for exclusion include:
Frivolous, irrelevant comments.
Comments devoid of logical basis.
Derogatory comments.
Long-winded comments.
Comments with excessive number of different points.
Questions about matters that do not relate to the page they post on. Such posts are not comments.
Comments with a substantial amount of mathematical terms not properly formatted will not be published unless a file (such as doc, tex, pdf) is simultaneously emailed to me, and where the mathematical terms are correctly formatted.


Reasons for deleting comments of certain users:
Bulk posting of comments in a short space of time, often on several different pages, and which are not simply part of an ongoing discussion. Multiple anonymous user names for one person.
Users, who, when shown their point is wrong, immediately claim that they just wrote it incorrectly and rewrite it again - still erroneously, or else attack something else on my site - erroneously. After the first few instances, further posts are deleted.
Users who make persistent erroneous attacks in a scatter-gun attempt to try to find some error in what I write on this site. After the first few instances, further posts are deleted.


Difficulties in understanding the site content are usually best addressed by contacting me by e-mail.

 

HashOver logoBased on HashOver Comment System by Jacob BarkdullHashOver logo

Copyright   James R Meyer   2012 - 2023
https://www.jamesrmeyer.com