Can we progress towards rationality?
Every logical argument must be defined in some language. Every language has limitations. To attempt to construct a logical argument while ignoring how the limitations of language might affect that argument is illogical, and is a classic case of burying one’s head in the sand. The correct acknowledgment of the interactions of logic and language explains almost all of the paradoxes - and resolves almost all of the contradictions, conundrums, and contentious issues in modern philosophy and mathematics - as demonstrated on this website.
- To rid the fields of philosophy and mathematics of arcane and irrational notions which have resulted in numerous contradictions.
- To promulgate the understanding that the validity of a logical argument is not necessarily independent of the way in which language is used by that argument.
- To ensure that future generations of young people will not be put off the study of mathematics and philosophy by the mystical and illogical notions that are currently widespread in those subjects.
The latest article on this site follows. See the menu for numerous other articles. Please leave a comment or send an email if you find any errors on this site.
Interested in supporting this site?
The Origins of Transfinite Numbers
The origins of transfinite numbers can be seen in Cantor’s definitive account in his major work Über unendliche lineare Punktmannig-faltigkeiten (On infinite linear point-sets), especially in Part 2 and Part 5 (Grundlagen). Cantor’s transfinite numbers come in two varieties, the transfinite ordinals and the transfinite cardinals. Here we will concentrate on Cantor’s transfinite ordinal integers; for an overview of the transfinite cardinal numbers see Cardinal Numbers.
In Part 2 of his Grundlagen Cantor describes his work on what he calls derivatives of sets of points. Cantor’s use of the term derivative here is different to the term as it is used in calculus - the derivative of a set of points is the set of all limit points of S (informally, a limit point of a set S is a point which has points of S, other than itself, arbitrarily close to it). Given a set S of points, one can define the first derivative set of points S′, and from that, the second derivative S′′ set of points, and so on. The derived sets can have certain points in common, and the intersection of all the sets in a given sequence of derived sets is defined as the set that contains every point that is common to all the derived sets in the sequence.
In the following, the details of the derivative operation are immaterial and do not concern us, and so we will simply use the general term ‘operation’.
In any such case of repeated operations that give a repeated intersection of the sets that result from these operations, either there is a finite number of repeated operations, where if another operation would be applied, there would be no change in the elements in the intersection of the sets defined up to that point, or else there is a change at every repeated operation. If there is a step that produces no change, then that is the termination of the process of repeated operations, and there is a well defined resultant set of intersections. On the other hand, if there is not any such finite number then, ipso facto, there is no final definitive intersection set because the set of intersections changes at every repetition.
With regard to the latter case, Cantor simply announces that a set “emerges” from the continuing repetitions of the operation, and which he will denote by an infinity symbol:
“This point-set R, which emerges from the set P, is denoted by the use of the symbol ω, viz:
and is called the derivative of P whose order is ω.”
Limits and infinity
Cantor makes no mention whatsoever of a limit value. He goes on to state that the specified operation can also be applied to this set P (ω) and he uses a notation of his own devising to indicate that operation and further such operations. He designates the resultant set of one such operation on the “emergent” set by P (ω + 1) and for v repetitions on the “emergent” set by P (ω + v). He provides no reason why one should use this notation rather than continuing with his prior notation, which would be to indicate a repetition of v operations by v prime symbols or by a superscript in brackets, which would give us, for example:
(P (ω))′′′ or (P (ω))(v)
Unfortunately, the notation that he does use tends to confuse two concepts - the concept of repeated operations, and the concept that one can simply use numbers to simply indicate various steps in a sequence. But his chosen method of notation is only of incidental interest here - it is Cantor’s prior glib sidestepping of the question of what he actually means by a set “emerging” from limitlessly many repetitions of an operation that points us in the precise direction in which we need to go.
We know that Cantor was well versed in the concept of mathematical limits, and frequently used them. But many of his works, especially his Grundlagen, and particularly its Section 9 show us quite clearly that for Cantor, the notion of a limit is only a way of acknowledging the “existence” of a set that simultaneously contains limitlessly many “existing” elements, and which, for him, already has a “existing” Platonist reality, where this Platonist reality has primacy over any notion of a limit. (Footnote:
In particular, see this paragraph in Section 9 of Cantor’s Grundlagen where he asserts that irrational numbers
… have a reality in our minds that is just as certain as for the rational numbers …
and that the value of an irrational number
… does not have to be obtained by a limiting process but rather, on the contrary, one can in general be convinced, by such possession of that reality in our minds, of the efficiency and soundness of the limiting processes. ) In several places of his Grundlagen we see that while Cantor understood the notion of a limit, it is his insistence that an “actual ” infinite “exists” meant that he really believed that limitlessly many entities do actually “exist ” simultaneously in some sort of Platonist realm. This belief was intimately associated with his deep religious beliefs, see Cantor’s religious beliefs and his transfinite numbers.
What Cantor said enables us to see why he used the notation that he did for his repeated operations; it was because while he accepted that a limit value could be calculated for his “emergent ” set, he really believed that this value was actually the result of limitlessly many repeated operations, and that the calculation of a limit value was simply a convenient human way to access the required already “existing” value. (Footnote: Of course, if a limitless sequence of operations does not have a limit value, for example if the values produced by the operations continuously oscillate over two or more values, then ipso facto, there could neither be any singular specific value for Cantor’s “infini-th” P (ω).)
In this way Cantor’s beliefs resulted in two primary errors that are still present in mathematical theories that are still widely promulgated today:
- The notion that one can have an integer that is greater than any integer in the set of all integers where there is no limit on how large an integer can be,
- The notion that, in general, there can be an intersection of limitlessly many sets.
We will deal with these in turn:
Error 1: The notion that one can have an integer that is greater than any integer in the set of all integers where there is no limit on how large an integer can be
The absurdity of this notion should be obvious; it is an oxymoron, since by definition, there is no largest integer of limitlessly many integers, with each one bigger than the previous one. In Section 11 of his Grundlagen, Cantor tries to circumvent this contradiction by claiming that while it might be contradictory to speak of a larger integer within a set which has the first cardinal number, it would not be contradictory if that larger integer instead belonged to a set which is not of the first cardinal number. (Footnote: “ As contradictory as it would be to speak of a largest number in the number-class (I), on the other hand it is not abhorrent to think of a new number … which is to be an expression for the fact that the natural succession of the complete number-class (I) is given according to established rules … It is even permissible to think of the newly created number ω as the limit towards which the numbers v approach, provided nothing else is understood by that.”)
This is a claim that is not only totally devoid of logic, but is self-contradictory; the impossibility of an integer that is larger than any integer arises directly from the fact that there is no limit to the size that an integer can be.
Cantor’s claim is intimately intertwined with his terminology; for example, ω + 1 supposedly indicates a limitlessly large integer value plus one. The absurdity of the notion of such transfinite numbers is that it deliberately assumes that there can be an ordering of integers where the first transfinite ordinal integer comes “after” the “end” of the finite integers, that is, the claim is that there is a sequence of integers and transfinite integers where the transfinite ones come “after” all the finite ones.
Suppose that someone suggested, for example, that one could define a new number by taking a rational number whose decimal expansion is such that at some digit in the expansion, all the subsequent digits are 3, which gives a non-terminating sequence of the digit 3, and then one “adds” the digit 7 after the “end” of the decimal expansion to create a new number. One would not be surprised if the response to such a suggestion was that it was the crackpot ravings of an eccentric crank who might be in need of a psychiatric evaluation. Yet the underlying principle that the theory of transfinite ordinals that mathematicians eulogize today is built on this very same principle, with the underlying inanity carefully hidden behind sanitized terminology. It is not surprising that in the 130 years or so since its introduction, transfinite number theory has never had any useful scientific or technological application.
How can people believe that there can be any logical underlying foundation for this contradictory notion? Perhaps it arises from a naive intuition that since some quantity is approaching a limit value as the number of iterations increase, then the number of iterations is getting “closer” to infinity. This, of course, is nonsense; one can never be any “closer” to infinity. (Footnote: As Wittgenstein remarked, “Where the nonsense starts is with our habit of thinking of a large number as closer to infinity than a small one.” (Ludwig Wittgenstein, ‘Philosophical Remarks’, Blackwell, 1975, § 138).) It may also be the case that the fallacy arises from some sort of erroneous intuitive association of the values of the integers that represent the iterations and the associated values of the sequence. But the iteration integers are absolute fixed values, whereas the “approaching a limit” describes relative values, and these are two very distinct concepts.
When Cantor states in his Grundlagen:
“It is even permissible to think of the newly created number ω as the limit towards which the numbers v approach, provided nothing else is understood by that, so that ω is to be the first integer that follows all numbers v, i.e. is to be called larger than each of the numbers v,”
he is promoting a concept that actually demands the application of a complete misunderstanding of the concept of a limit. A limit is a value that cannot be exceeded, but there is no limit to the upper value of a number, so there cannot be any sort of applicable limit, nor can there be any logical concept that limitlessly many increasing integers approach a limit. Cantor’s attempt to use the concept of a limit to mean precisely the opposite of its real meaning should not fool anyone.
Error 2: The notion that, in general, there can be an intersection of limitlessly many sets
The fact that an error often does not appear to result in any difficulty can never serve to prove that it can never do so; it only takes one instance to demonstrate that the error is not trivial. The error here is the same error as I have previously referred to regarding the addition of limitlessly many values, see Sums of infinitely many fractions: 1 and Sums of infinitely many fractions: 2. The fact is that, like addition and multiplication, an intersection of more than two sets necessarily involves repeating the operation of intersection in some way; the notion of an intersection of sets is an iterative notion. The common idea that an intersection of more than two sets can somehow simply “exist” without any iteration is never explained, it is simply assumed that there “exists” such an intersection in some Platonist realm. The untoward consequences of this naive intuitive assumption are swept under the carpet, discernible only by the observant.
For example, in standard set theory, the intersection of limitlessly many intervals where each is inside of the previous one, is conventionally indicated without any indication of a limit by:
The Nested Intervals theorem of set theory states that the value of this expression is either a closed interval or a single point. But if that could be the case, then there must be an intersection operation that results in this “last” closed interval or the “final” single point. For example, take the sequence of intervals where each nested interval is, say 0.8 of the width of the previous one. If there could be an actual intersection of infinitely many such intervals that was a closed non-single point interval, then there must also be an interval enclosing it that is 1.25 times its width, and those two must be the “final” two sets of all the intersections. But of course, that is impossible, since the definition itself means that there is no last intersection, and there are limitlessly many iterations of the intersection operations. On the other hand, if the resultant interval could be a single point, then since it has no width there cannot be any previous interval from which it can be generated, since 1.25 times zero is also zero.
We have a straight-forward contradiction, a contradiction that is inherent in standard set theory. Note that some proofs of the Nested Intervals theorem actually use limits explicitly in the proof, e.g. Planetmath Nested Intervals. This bizarre approach where, on the one hand, when it is convenient, all the limitlessly many sets are assumed to simultaneously “exist”, and other hand, when it is convenient, the assumption that they all simultaneously “exist” is ignored and a limit is applied, inevitably results in confusion, and depending on the particular case, can result in contradictions. An example of this is demonstrated on the page Lebesgue Measure, with further analysis on the page Understanding Limits and Infinity.
Unions involving limitlessly many sets
In general the same considerations apply to unions involving limitlessly many sets, though there are some special cases where it can appear that a result is obtained without any limit. An example of such a case is a union involving infinitely many sets, where there is only one limit set (by the term limit set here, we mean the set that is the limit set of the sets of the relevant sequence; an example is given below). In such cases, a result can be generated by subtracting that limit set from the set that is the limit of the union of all the sets of the sequence.
This gives a result that is in accordance with the intuitive notion of the union of infinitely many sets. However, it is most unfortunate that such special cases have been assumed to be indicative of the general case, an assumption which is most definitely incorrect; it is worth noting some of the worst errors in the history of mathematics have resulted from the erroneous assumption that a special case represents the general case.
A simple example of such a special case is the union involving infinitely many sets, where each set is associated with some natural number n, n ≠ 0 and whose elements r satisfy the condition 1⁄n + 1 ≤ r ≤ 1⁄n for that natural number n.
Conventionally, the union is assumed to be the set of all points between 0 and 1, including 1 but not 0.
On the other hand, the limit of the union of such sets is the set of all points between 0 and 1, including both 1 and 0. This follows since the limit of both 1⁄n + 1 and 1⁄n is 0, and in this case we have a single limit set, which is the degenerate single point interval that is the point 0. The union of infinitely many sets is such that the union of n sets approaches the limit set as n increases, but never reaches it - otherwise there would be some iteration n at which that limit set was reached, contradicting the fact that there is no limit on the number of iterations with an associated change of the resultant union set.
In such cases, the conventional result is not obtained by the limitless repetitions of union operations; the points in the resultant set are not given by repeatedly adding the next set between 1⁄n + 1 and 1⁄n for the next n, but by an implicit consideration of the limit of the union of such sets as n increases. Once one has the value of that limit set, one can always subtract a single point from the set, be it 0 or any other point.
If we suppose that no limit is implicitly invoked, then the alternative is that the union consists of all the sets between 1⁄n + 1 and 1⁄n for all n. But for every such interval, there is always an interval between 0 and the smaller endpoint 1⁄n + 1 of that interval, and ipso facto, for every such interval, there remain points in the interval between 0 and the smaller endpoint 1⁄n + 1 of that interval. Since there is no “final” n, then there always remain points greater than 0 that are not in the union so defined, unless a limit is applied.
This is a subtle point, which is why the implicit invocation of a limit in such special cases is not usually recognized. But in any case, as already noted, one should never assume that a generalization follows from a special case.
Transfinite numbers and today’s mathematics
The errors indicated above are errors that are the direct result of misunderstandings on the part of Georg Cantor. Some of these difficulties can be attributed to the fact that mathematicians at the time were to a large extent groping in the dark, without having any fully coherent picture of what they were trying to pin down.
But the problem that we have today is that there seems to be no attempt whatsoever to move forward away from such misunderstandings. Instead of mathematicians continually striving to refine and improve mathematics by a progressive elimination of the causes of contradictions, they seem to want to see mathematics fossilized at a point in time, like a species for which evolution has stopped.
It seems to be the case that in many spheres, once a set of initial tenets are taken as fundamental truths, then most of its proponents will brush aside any consequential problems, and twist the facts until they fit into, what for them, seems to accord with their fundamental tenets.
We see this in many religions, in young earth creationism, in cults, but why do we also see it in mathematics, a subject of study that surely should be striving to be as logical as possible, rather than relying on 130 year-old fundamental tenets that had their origins in faith based beliefs rather than reason?
Cantor’s “Freedom of Mathematics”
When Cantor was trying to get his ideas accepted in the face of opposition from people like Leopold Kronecker, he became a champion for the idea that there should be complete freedom in mathematics, provided that it satisfies certain conditions such as avoiding contradictions. In Section 8 of his Grundlagen Cantor says:
“Mathematics is completely free in its development and is only bound to the self-evident consideration that its concepts are both free of contradictions and that they are in fixed relationships to proven concepts that have already been previously established … every mathematical concept also carries the necessary corrective in itself; if it is sterile or inexpedient, it very soon shows it through its uselessness and it is then dropped because of lack of success. On the other hand, every superfluous constriction of the impulse for mathematical research seems to me to bring with it a much greater danger, and one that is all the greater as no justification can really be drawn for it from the nature of science; for the essence of mathematics lies precisely in its freedom.”
What has happened to Cantor’s pleas for freedom in mathematics? Today can anyone get published any analysis of contradictions in today’s set theories in any mainstream mathematical journal?
The origins of today’s set theories can be traced back directly to Cantor. But despite Cantor’s admonition that freedom should be paramount in mathematics, today it is forbidden to even suggest that the contradictions that arise in such theories may indicate that there is a problem with such theories. One is not even allowed to call them contradictions, the only allowable term is “paradox”, fostering the pretense that giving something a different name can somehow change its intrinsic character.
And so, today, instead of Cantor’s freedom of mathematical ideas, instead of welcoming attempts to move mathematics forward rather than being struck in a century-old rut, today’s mathematics stifles new ideas, obstructs any progress, and has become a dull ubiquitous monotonous mediocracy whose primary objective is maintaining the status quo. See also Cantor’s invented transfinite numbers.
Some writers make it seem as though the notion of transfinite numbers arise naturally, even inevitably, from Cantor’s study of trigonometric series, but this is an egregious misrepresentation of the facts. It is true that Cantor’s study of trigonometric series led to his study of sets of points, and that this study of sets of points led to his invention of his transfinite numbers. But readers should be aware that there never was any natural progression from trigonometric series to transfinite numbers.
While a casual reading of an article such as Dauben’s “The Trigonometric Background to Georg Cantor’s Theory of Sets”, (Footnote: Joseph W. Dauben, “The trigonometric background to Georg Cantor’s theory of sets” Archive for history of exact sciences 7.3 (1971), pp. 181-216. ) might lead one to believe his claim that “All of this was to lead, in a natural and direct way, to.. [Cantor’s theory of sets] ”, the reality, as shown on this page, is that it is transparently obvious that there was nothing natural nor inevitable about Cantor’s leap in the dark from sets of points to his notion of numbers that could be bigger than any limitlessly large number. (Footnote: It might be thought that if a study of sets of points leads to the development of a set theory, then that must lead in turn to transfinite numbers, but that is not the case. Cantor’s set theory, as can be clearly discerned in his Grundlagen, is a theory that is based on the completely illogical assumption that the absence of a one-to-one correspondence between two infinite sets indicates that one of the sets with limitlessly many elements must have “more” elements than the other set with limitlessly many elements. The same applies to almost all current set theories, see Proof of more Real numbers than Natural numbers? and Why do people believe weird things? A study of sets of points that does not make that illogical assumption leads directly and naturally to a theory of sets that does not include any transfinite number anywhere. What is astonishing is that most of today’s mathematicians seem to be content to continue making that illogical assumption without ever questioning why they are doing so.)
There is no intrinsic path, and there never was any such path, from trigonometric series to transfinite numbers, waiting to be uncovered by a canny explorer. Cantor’s leap was a leap of faith, not a brilliant discovery of a hidden link; it was a leap of faith prompted by his deep religious convictions, not by any logical considerations.
The reality is that there is no valid justification, and there never was any valid justification for the inclusion of the inane notion of transfinite numbers in mathematics, and no juggling of the facts regarding their origins is ever going to change that.
Also see Shaughan Lavine’s “Understanding the Infinite” for an example of a disgraceful misrepresentation of historical facts and which is also replete with logical fallacies.
Interested in supporting this site?
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.
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 usernames for one person.
Users, who, when shown their point is wrong, immediately claim that they just wrote it wrong 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.
This is the comment section for the above article, the comment section for the site in general is below
Note: a password enables editing of comments, an email enables notification of replies
This is the comment section for this site in general
Note: a password enables editing of comments, an email enables notification of replies