Copyright © James R Meyer 2012 - 2018 www.jamesrmeyer.com
A well-known professor claimed that there was no possibility that the set A as in the Courant-Robbins contradiction and Lebesgue Measure could be the entire unit interval 0 to 1. (Footnote: See the appendix below Defining a set over the interval 0 to 1 for a brief synopsis.) This is the argument he used:
We define a list (Footnote: See One-to-one correspondences.) of rational numbers by taking a pre-existing list of rationals and we define that if there is a rational in the list that is close to one given specific irrational number, then that rational is pushed further down the list. The closer that rational is to that irrational number, the further it is pushed down the list. More formally the definition is:
Take any arbitrary irrational r where 0 < r < 1. Given that a1, a2, a3, … is an enumeration of the rationals in [0,1] (the interval 0 to 1, including 0 and 1), we create a new enumeration, b1, b2, b3, … where for all n, bn is the first ai whose distance from the chosen r is greater than 1⁄10n and is different from all bm for m < n (i.e., different from all bm already in the list).
While this definition is fairly informal, there is no difficulty in making it more formal, viz:
Given any arbitrary irrational r where 0 < r < 1, and any arbitrary enumeration a1, a2, a3, … of the reals over [0,1], a new enumeration b1, b2, b3, … is defined by:
∀n, ∃i (bn = ai )
if and only if
∀m, m < n, bm ≠ ai ∧ ¬[ai − 1⁄10n < r < ai + 1⁄10n ]
The professor then continued:
When we combine the definition of this list with the definition of decreasing intervals 1⁄10,, 1⁄100, 1⁄1000, … 1⁄10n, … we have a new definition.
This defines a set A*. It is impossible for r to be in the set A*. Therefore r is not in the set A* but it is an isolated point, therefore there cannot be an interval to the right or left of that point that is an open interval with a rational as its endpoint, since the endpoint would have to be r, and r is irrational.
Well, there is an obvious fallacy in the above - you cannot prove a generalization from a finite number of instances, never mind a single instance.
But besides that, the argument throws up more problems than it solves. While it shows that, while you can define a list of rationals so that it will exclude given irrational numbers, it also shows that every such excluded irrational is associated with an infinite sequence of rational numbers. Furthermore, if there is more than one such excluded irrational, it is clear that each such excluded irrational:
And that means that if there could be infinitely many such excluded irrational numbers, then that infinity could not in any sense be a “bigger” infinity than that of the rational numbers.
But, according to conventional Lebesgue measure theory, the set of all these isolated points not in the set A is a set that has a measure of at least 8⁄9, but any infinite set of isolated points that has a finite definition (Footnote: e.g., the rational numbers, the square roots of prime numbers) has a measure of zero.
Note that the professor’s definition tells us nothing more about membership of his new set A other than it is the original set A less the single irrational r - it tells us nothing about other members of the set A.
First, definitions of an open and a closed interval:
An open interval is an interval that does not include the endpoints that define that interval (for example the open interval whose endpoints are 1⁄3 and 1⁄2 is the set of all points between 1⁄3 and 1⁄2 but not including the points 1⁄3 and 1⁄2).
A closed interval is an interval whose endpoints are included in the interval.
Now, define a set A in terms of ever decreasing intervals that are associated with the list:
We start with the closed interval between 0 and 1. Now take a suitable list of the rational numbers between 0 and 1 (see below). Then, going through this list of rational numbers, for the first rational we define an open interval 1⁄10 wide with that rational at the midpoint of the interval; our set now includes all the numbers in that interval (not including the endpoints). For the next number, define an open interval 1⁄100 wide with that rational at the midpoint of the interval; we add those numbers to our set. For the next number, define an open interval 1⁄1000 wide with that rational at the midpoint of the interval; we add those numbers to our set. And so on, with each subsequent open interval being 1⁄10 of the length of the previous interval.
Given this definition, either the set A is the entire interval between 0 and 1, or else there are irrational isolated points that remain in the interval 0 to 1. Either way, since single points do not have any length, the set A has a total measure of 1. But Lebesgue measure theory claims that the measure of the set A must be less than 1⁄9. For more on this, see Lebesgue Measure Theory. But some people do not like this result and try to find arguments against it, such as the one described on this page.
Some people have suggested that they can circumvent the contradiction by using a list (see also One-to-one correspondences and Listing the rationals) of the rationals that are defined in terms of various conditional requirements, which render the enumeration and the sequence of intervals interdependent. Rather than trying to construct a set of rules as to which enumerations are applicable, all that is required is one specific enumeration. We can define that the set A is to be given by one specific enumeration using the pattern of rationals:
This gives a list that begins as 1⁄2, 1⁄3, 2⁄3, 1⁄4, 3⁄4, 2⁄4, 1⁄5, 2⁄5, 3⁄5, 4⁄5,1⁄6, 2⁄6, 3⁄6, 4⁄6, 5⁄6,… Note that this gives duplicates like 2⁄4, 3⁄21, but the important fact is that the enumeration includes every rational between 0 and 1 (not including 0 or 1). Clearly, there can be infinitely many similar enumerations based on similar definitions. Note that this enumeration follows a pattern that for each subsequent denominator, the values run from the lowest to the highest value of the numerator.
The enumeration can be represented by an algorithm as follows, where the calculation of the nth rational does not require the calculation of any of the rationals prior to n in the enumeration:
This can easily be made into a program as has been done here:
Diverse opinions and criticisms are welcome, but messages that are frivolous, irrelevant or devoid of logical basis will be blocked. Difficulties in understanding the site content are usually best addressed by contacting me by e-mail. Note: you will be asked to provide an e-mail address - any address will do, it does not require verification. Your e-mail will only be used to notify you of replies to your comments - it will never be used for any other purpose and will not be displayed. If you cannot see any comments below, see Why isn’t the comment box loading?.
There is now a new page on a contradiction in Lebesgue measure theory.
There is now a new page Halbach and Zhang’s Yablo without Gödel which analyzes the illogical assumptions used by Halbach and Zhang.
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.
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.
Comments on this site are welcome, please see the comment section.
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 - 2018