3

The present question is of interest because it is answered in very different ways by different groups (mathematicians, physicists, students, professionals of non-mathematical occupations). I ask here (1) because I have no experience yet with answers of philosophers, and (2) because this question is fundamental for Cantor's set theory, who also published a lot of his work in philosophical journals. With respect to mathematical papers he said: "the fact that my presently written work is issued in mathematical journals does not modify the metaphysical contents and character of this work." [G. Cantor, letter to T. Esser (15 Feb 1896)]

The basis of set theory is the proof of equinumerosity or equicardinality of infinite sets by one-to-one mappings. This tool proves for instance that the natural numbers and the fractions are equinumerous sets: Every natural number has its own fraction as a partner and every fraction has its own natural number.

This surprising result was explained by A.A. Fraenkel who told the story of Tristram Shandy. [Laurence Sterne: "The life and opinions of Tristram Shandy, gentleman" (1759-1767)]

"Well known is the story of Tristram Shandy who undertakes to write his biography, in fact so pedantically, that the description of each day takes him a full year. Of course he will never get ready if continuing that way. But if he would live infinitely long then his biography would get 'ready', because every day in his life, how late ever, finally would get its description. No part of his biography would remain unwritten, for to each day of his life a year devoted to that day's description would correspond." [A. Fraenkel: "Einleitung in die Mengenlehre", 3rd ed., Springer, Berlin (1928) p. 24. A.A. Fraenkel, A. Levy: "Abstract set theory", North Holland, Amsterdam (1976) p. 30]

A shorter and simpler variant is the story of Scrooge McDuck: Every day Scrooge McDuck earns 10 enumerated dollars and returns 1 enumerated dollar. If, as a cartoon character, he lives forever and if he happens to return always the dollar with the least number, he will go bankrupt because for every dollar we know when it is issued.

The question is: Is the latter argument sufficient to conclude that Tristram Shandy will get ready and that McDuck will go bankrupt?

  • The two stories are different: If Tristram Shandy lives forever, for every day in his life (that is reached after a finite amount of days) there is a description of that day in a chapetr in the book (that is reached after a finite amount of chapters). But if T.S. lives forever, there is no last day in his life, and thus there is no last chapter in his bio. So for Scrooge: if he lives forever, he will not stop to earn new money: thus, no bankrupt. – Mauro ALLEGRANZA Apr 15 '18 at 12:13
  • 1
    @Mauro ALLEGRANZA: I do not understand what difference you mean. But I fully agree with you that there is no empty set (of undescribed days of TS or bucks in possession of McDuck). Set theory yields the limit { }. But this limit, in my opinion, does not mean bankrupt. – Wilhelm Apr 15 '18 at 13:36
  • 4
    Wilhelm = Herr Wolfgang Mueckenheim, from Augsburg, a very well known crank, unfortunately, shamefully teaching in Hochschule Augsburg Institute. This silliness of him has been addressed here : bsb.me.uk/dd-wealth.pdf – Python Apr 21 '18 at 13:54
  • 1
    Your McDuck character nets $9 per day. Your method, however defined, of combining the terms of 10-1+10-1+10-1 ... to get zero is clearly invalid. Back to the drawing board, "Wilhelm!" – Dan Christensen Apr 22 '18 at 14:04
  • 2
    We have been over this countless times, "Wilhelm." If you really believe you have unearthed some inconsistencies in set theory (you haven't), write it up as a formal proof. Prove some theorem in set theory using ONLY the axioms of that set theory, then similarly prove it's negation. (See Russell's Paradox, for example.) In this case, prove that 10-1+10-1+ ... diverges (easy). Then prove that it converges (probably impossible). Nothing else will do. – Dan Christensen Apr 22 '18 at 17:03
3

Both stories are examples of Supertasks.

The Scrooge McDuck story in particular is better known as the Ross-Littlewood Paradox or tennis-ball problem or ping-pong conundrum: if you start with no tennis balls, and every day you add 10 but remove 1, you can argue that you end up with none, since if you number the balls, and if you remove 1 after adding 1 through 10, remove 2 after adding 11 through 20, etc., then 'in the end' every tennis ball will get removed. Then again, if you remove 2 after adding 1 through 10, remove 3 after adding 11 through 20, etc., then 'in the end' you will end up with 1 tennis ball. And if you always remove the lowest even numbered tennis ball, you end up with an infinite tennis balls (all the odd numbered ones) after all. Which is what makes this a paradox.

One big problem (and possible resolution to the paradox) of course is that there seems to be no such thing as 'in the end', since we're talking about an infinite number of sequential actions. Some people will therefore say that such supertasks are logically impossible: Tristan's biography will never get completed, and Scrooge will never go bankrupt.

Others, however, maintain that a supertask can be completed by taking the first action in 1 second, and each successive action in half the time it takes to do the previous action - after 2 seconds, you will then have done an infinite number of actions.

Of course, this latter argument seems to be problematic as well: first of all it assumes that between now and 2 seconds from now there are an infinite number of points of time ... and as such it assumes that the flow of time itself is performing a supertask, and thus it effectively begs the question as to whether supertasks are possible. Indeed, arguments like Zeno's paradox argue against the infinite divisibility of space and time.

And finally, Benacerraf argued that these kinds of descriptions of supertasks only describe what happens while the task is being performed ... but the descriptions are silent on what should be the case when the task is done. Thus, even if supertasks are possible, it is still not clear what facts would hold when it is 'completed'.

Needless to say, the possibility of supertasks, and what we can conclude when supertasks would in fact be performed, is still hotly debated.

  • Comments are not for extended discussion; this conversation has been moved to chat. – Keelan Apr 16 '18 at 17:07
3

The quotation about Tristram Shandy appeals to the fact that every page will eventually be finished. This condition is not sufficient to ensure that the task of writing the biography will ever be complete. In an infinite series like this, there is no inconsistency between saying that Shandy will never finish his biography, and saying that any given part of the biography will eventually be written. Intuitively this occurs because the written component increases without bound, but the unwritten component also increases without bound. This is explained in greater detail on mathematics.SE.

  • What you describe is potential infinity and correct, However, in order to prove equinumerosity of infinite sets or to apply the diagonal argument, there must be a state with no remainings: "No part of his biography would remain unwritten, for to each day of his life a year devoted to that day's description would correspond." That is wrong. There is never all written because there is an infinite supply. – Wilhelm May 3 '18 at 14:57
  • @Wilhelm: Can you please explain why 'to apply the diagonal argument there must be a set with no remainings?' I don't recall it in any discussion of the diagonal argument. – Mozibur Ullah May 4 '18 at 10:56
  • If a sequence does not contain all real numbers, it must end before a well-ordering of all real numbers ends. (Well-orderings are used for comparing ordinals.) Further in order to prove that Cantor's list does not contain some number it must be possible to check all entries with no remainder. Further to define a real number by digits, there must be the complete sequence of digits. Any missing one would prevent to have an individual number. All these points require completeness. – Wilhelm May 4 '18 at 11:11
  • @Wilhelm: -infinity. – Mozibur Ullah May 4 '18 at 12:16
3

A philosopher would note that mathematics has a long history of being able to transcribe a word problem into a mathematical form where each of the elements of the word problem is translated to a corresponding mathematical form, but the resulting form is semantically different. A very common example is translating "If P then Q" into P=>Q. Many have great trouble with the fact that P=>Q is true if P is false, regardless of Q's value. The English phrasing "If P then Q" rarely has this connotation, but the math does. Thus care must be taken when transcribing a word problem into mathematics.

The philosopher would argue that the answers to these questions are obvious, and it is only the mathematical formalisms that cause issues. Thus, a philosopher would challenge the formalism.

Consider that one must translate phrases like "live forever" into a valid mathematical phrasing. In your self-answer, you used the notation S(n) to be the set of dollars in Scrooge's account after n steps, and we can use that to explore this difficult phrasing. We cannot say S(∞) in traditional ways because ∞ is not a natural number and steps are enumerated by ℕ. This is what I believe you were getting at with "potential infinity." We could use the "limit as n approaches infinity of S(n)," and by the definition of limits, we would see that the intuitive answer holds.

The issue you raise is that there should be a one to one mapping between the infinite sets of numbers. However, nothing precludes this. You can say that you added a set of enumerated bills of size ℵ0, and subtracted from it a set of enumerated bills of size ℵ0, and be left with a set of remaining bills of size ℵ0. Just because |A| = |B| does not mean that |A - B| = 0. For an obvious example, consider the difference between the natural numbers and the set of even numbers. Obviously the difference produces the set of odd numbers, yet all three sets have a size of ℵ0.

If I were to think of the problem in terms of a set of bills added, A, and a set of bills removed, R, at the end of "forever," I could say that |A| = |ℕ|, and that |R| = |ℕ|, but that does not mean |A-R| = 0 automatically (as seen above). I would need some proof that A=ℕ and R=ℕ or perhaps more generally A={f(n) for n in ℕ} and B{f(n) for n in ℕ}. Coming up with the mathematical phrasing which permits such equivalence (rather than just equal cardinalities) is where you will find the paradoxical results can arise. The notation regarding limits has been recognized for hundreds of years as an acceptable way to resolve these issues, and a philosopher will be very suspect of any other argument. After all, that's the job of a philosopher: to question things everyone else takes for granted.

  • The notion of limits has been applied for hundreds of years, but not the notion of finished infinity. You talk about ℵ0 as if it were a sensible notion. Just this is challenged, because it requires that McDuck loses infinitely many dollars after all finite days. This does not only contradict "intuition" as set theorists prefer to note, but it contradicts the mathematical definition of the problem. Here is a philosopher with a determined opinion, Ludwig Wittgenstein: I believe, and I hope, that a future generation will laugh at this hocus pocus. / Imagine set theory's having been invented ctd – Wilhelm May 4 '18 at 18:18
  • You talk of this "finished infinity." Is that a concept which only exists in transfinite mathematics? – Cort Ammon May 4 '18 at 18:19
  • by a satirist as a kind of parody on mathematics. / "Mathematical logic" has completely deformed the thinking of mathematicians and of philosophers, / there is no path to infinity, not even an endless one. / There's no such thing as "all numbers" / It is senseless to speak of the whole infinite number series / Set theory is wrong (For references see hs-augsburg.de/~mueckenh/Transfinity/Transfinity/pdf, p. 193f) – Wilhelm May 4 '18 at 18:23
  • 1
    That is mostly correct. We can define "at infinity" to refer to a limit, if we choose. They're just words. You obviously do not choose to do so, but we can define it to mean anything we please. It is up to the philosopher to decide whether that particular mathematical interpretation is meaningful. The validity of such interpretation is outside of the domain of mathematics, and entirely in the domain of philosophy and language. In this case, both approaches yield the same result, so there is little impetus to make a decision as to which approach we wish to claim we are using. – Cort Ammon May 4 '18 at 20:04
  • 1
    Set theory does not require that Scrooge is bankrupt at infinity. What I think is going on is you are using interpretations of the words which are correct interpretations for transfinite mathematics, and then processing those mathematical constructs using non-transfinite mathematical operations. That mixing and matching causes issues. – Cort Ammon May 4 '18 at 20:58
0

The basis of set theory is the proof of the equinumerosity of infinite sets

This isn't correct. The basis of set theory is in the name, ie sets. What is true is that investigation of cardinality is an important part of modern set theory and this proof was the seed of that.

The story about Tristram Shandy narrated by Fraenkel is a rhetorical sleight of hand used to introduce the paradoxes of infinite sets via a story; in fact, the story makes no sense when thought through because the actions it relates are recursive, and this is not the kind of world we live in. It's an entertaining try by Fraenkel though.

The story about Scrooge is not a variant of this; it's already addressed in the theory of infinite sums: the partial sums are divergent and thus he won't get bankrupt.

  • There are three closely related topics. (1) The enumeration of all fractions. When you index the first fraction by 1, then all remaining fractions between 0 and 1 have to wait for a larger index. When you index another fraction by 2, then all remaining fractions between 0 and 2 have to wait for another index, and so on. The story of Tristram is a reduced scheme, 365 to 1 instead of infinity to 1. The story of Scrooge is a further reduced scheme, 10 to 1. All these examples are attempting to explain that pyramid selling schemes can be successful "in the infinite". – Wilhelm May 4 '18 at 10:57
  • @Wilhelm: Irrelevant, misleading, misinformative and confusing junk. – Mozibur Ullah May 4 '18 at 11:28
  • Try to read the text for another time. Usually even laymen understand after a while. Of course Fraenkel's story makes sense "when thought through". – Wilhelm May 4 '18 at 11:36
  • @Wilhelm: Once was more than enough. – Mozibur Ullah May 4 '18 at 12:10
  • Chuckle. I can say that my intelligent students understand immediately and even mediocre ones after a short while. But I am glad that I make as much sense to you as Fraenkel. – Wilhelm May 4 '18 at 12:18
-1

Cantor's broken logic comes from a broken definition of "number." Cantor's numbers are allowed to do what other numbers cannot. For example, infinity + 1 equals infinity. A more sensible take on things is to recognize that some limitless things do not correspond to numbers (the boundless quantity of natural numbers is not itself a number), while infinite numbers (defined as numbers which are larger than any natural number) follow the "transfer principle" and obey the same rules as finite numbers, such as x+1 != x.

Given this viewpoint, after an infinite amount of time (let's call it t, with t being an infinite number) all the dollars labeled by natural numbers will have been returned yet an even greater amount of dollars labeled by infinite numbers (such as t-1) will remain in McDuck's possession.

  • So... the problem with Cantor's work is his choice to include the word "number" in his name for bijection-classes of sets, and maybe also his choice of which symbols to use for the basic operations on bijection classes? I don't see how that is broken logic. – Hurkyl May 3 '18 at 12:20
  • Incidentally, by the same transfer principle, all of the (externally) infinite hypernatural numbers are still less than the cardinality of the natural numbers, less than the order type of the natural numbers, and less than the extended real number ∞. – Hurkyl May 3 '18 at 12:24
  • 2
    It would be good to have references for the first sentence of this answer about Cantor's broken logic and broken definition. That would provide support for the position and give the reader somewhere else to look for more information. By the way, welcome to this SE. I hope to read more questions and answers from you. – Frank Hubeny May 3 '18 at 13:01
  • 1
    @FrankHubeny What I referred to as broken logic is Cantor's treatment of absolute infinity as a concrete number, which he wished to equate with God (a concrete being). Wikipedia's take. This line of thinking has led to countless modern paradoxes: non-conglomerability (discussed in Probability Theory: The Logic of Science), the Banach–Tarski paradox, and others. I hope these count as useful references... – Aleksandr Dubinsky May 3 '18 at 21:25
  • My opposing view is that after separating actual numbers from number-like concepts, and actual sets from generators, all of these paradoxes disappear and a simple world emerges where McDuck doesn't go broke, there is no such thing as $\aleph_1$, and physicsts can continue toying with infinities and infinitesimals. – Aleksandr Dubinsky May 3 '18 at 21:26
-1

In that paragraph Fraenkel fairly clearly defines what he means by saying the biography "gets ready" after "infinitely long" — it is the assertion that each day of Tristram's life is eventually written.

And it's clear that this assertion is, in fact, true.

One might quibble over whether Fraenkel has chosen good English words to describe that assertion, or over what others might mean when they use the same words, but it's clear what Fraenkel means by those words. Recall the wisdom of Humpty Dumpty:

“When I use a word,” Humpty Dumpty said, in rather a scornful tone, “it means just what I choose it to mean—neither more nor less.” “The question is,” said Alice, “whether you can make words mean so many different things.” “The question is,” said Humpty Dumpty, “which is to be master—that’s all.”

LEWIS CARROLL (Charles L. Dodgson), Through the Looking-Glass. (source)


It is less clear whether Scrooge "will go bankrupt", because the author of that example has not clearly specified what he means by the phrase.

One natural interpretation is that it is the assertion that every dollar bill earned by Scrooge is eventually returned, and never earned back.

And it is clear this assertion is, in fact, true.

Given the context — that the story is juxtaposed with the story of Tristram Shandy, as well as follows the pattern of a common instructional example in set theory — I find this to be the most natural interpretation.


While it is useful to organize the meaning of "gets ready" or "will go bankrupt" into a set to be interpreted as how things look 'at infinity', it is by no means necessary.

  • +1. If you model a real life (or idealized real life, or idealized not-so-real life) situation using a mathematical formalism and don't get the expected result, you can be pretty sure that the modelling is the culprit, not the mathematical formalism. If you model addition of speeds by addition of real numbers and obtain a speed that exceeds the speed of light, you can't blame real arithmetic for that. – Uwe May 3 '18 at 13:46
  • @Hurkyl: The assertion required for the purpose of complete bijection is: There exists a state where no undescribed day remains." Otherwise there is no proof of equinumerosity possible. Such a state will never exist, where "never" means never and not "at $\omega$". You simply "forget" that every element is followed by infinitely many. You believe that the infinite set somehow can be finished. – Wilhelm May 3 '18 at 14:26
  • @Hurkyl: To prove that set theory violates the mathematical definitions, simply consider three reservoirs A , B, C. A contains all natural numbers which one-by-one are transferred via B to C, but under the condition that n must not leave B unless n+1 has entered B. Then by definition, B will always contain one number. Therefore never all numbers can be accumulated in C, – Wilhelm May 3 '18 at 14:29
  • @Hurkyl: "but it's clear what Fraenkel means by those words." Yes, it is: "No part of his biography would remain unwritten, for to each day of his life a year devoted to that day's description would correspond." That is wrong. In eternity there will be an increasing part of unwritten days. The reason is (what set theorists carefully try to suppress): There is an infinite supply! – Wilhelm May 3 '18 at 15:08
  • 1
    @Hurkyl Mückenheim is once more using his sock puppet collection. ("Wilhelm" = "Heinrich" = "Otto" = Wolfgang Mückenheim). – Uwe May 3 '18 at 23:35
-2

This is a step-by-step procedure, a construction, and every received dollar is returned.

Considered in potential infinity there is no "all", neither of dollars nor of steps. For every natural number n: The dollars 1 to n are returned. Every n belongs to a finite initial segment which is followed by a potential infinity of others. No contradiction appears. But potential infinity disallows to prove equinumerosity of received and returned dollars.

Considered in actual infinity, there are all dollars but also all steps.

  • All dollars are received and returned.

  • All steps are not sufficient for that task, because for all natural numbers n: after step n there are 9n dollars not returned. Therefore the set of not returned dollars is not empty. Transactions are only possible at finite steps n (there is no action possible "after all finit steps" or "between all n and the limit"). Therefore, even if a discontinuity in the cardinality function is tolerated, there is a contradiction with an empty set of not returned dollars.

In most concentrated form:

  • McDuck's wealth W(n) = |S(n)| can only change with n.

  • For every n, W(n) is positive and increasing.

  • In the limit after all n, W = |{ }|. – Contradiction.

An attempt to save transfinite set theory is to claim that the empty limit set does not mean a state after all natural numbers but only indicates that all received dollars are returned somewhere. This explanation fails already because unions and intersections to calculate the set limit range over an infinite domain. Further, if interpreted in actual infinity, the failure of completing the return at any finite step disproves the complete return.

Another attempt, to argue by the limits of analysis, is besides the point: Let q(n) = 0.0...01...10... be the sequence of rational numbers having digit 1 in kth position iff Scrooge McDuck possesses dollar note number k at day n. So q(n) has 9n digits 1, but in the limit of that sequence all these digits 1 are gone. Is this is a contradiction in the notion of limit?

No. The analytical limit 0 of the sequence (q(n)) is nothing that the terms q(n) would "evolve to". It is simply a real number that is approximated better and better by the terms of the potentially infinite sequence. The limit of the number of digits 1 of the q(n) in mathematics is simply the improper infinite, i.e., for every number there is a larger one (but never omega is reached).

For the sequence of sets things are quite different. There one set S(n) is transformed into its successor S(n+1) by adding and removing dollars. If their infinity is actual such that it is possible to complete the set, but if no dollar remains forever, then the complete loss of all dollars leaves the empty set. That is not mathematically possible.

A "limit" with quantized numbers, integers or cardinalities, different from all terms of the sequence, is impossible per se. Simple to see in the present case: For every step n there are elements. In the "limit" there are none. Contradiction. Mathematically reasonable is only the limit 0 of 1/W(n). It does not require an actually infinite or complete sequence (W(n)).

Summary: McDuck will never get bankrupt, where "never" means never and not "at omega".

  • 2
    -1: for the most unreadable and confusing prose I've yet seen; have you read Polyas book on how to write good mathematical prose? – Mozibur Ullah May 4 '18 at 11:02
-2

Let me add another aspect which might deserve attention because it is not common knowledge but very important for set theory: In set theory we can count to ω. See the evidence collected in the footnote below.

Therefore it is not only "useful" to organize the meaning of "will go bankrupt" into a set to be interpreted as how things look 'at infinity', it is in fact necessary. Only an infinite bijection (between returned dollars and days) can be complete.

Therefore McDuck has gone bankrupt only when the set of his dollars is empty as soon as the set of days is ω. Since provably the set of his dollars is never empty, the bijection is never complete. The question "Are there any dollars not returned?" is irrelevant since the number of received and not returned dollars increases to 9ω = ω without bound.

Footnote: Evidence for counting to ω

Hausdorff describes Cantor's original method of well-ordering: "From the set A to be well-ordered take by arbitrary choice an element and denote it as a0, then from the set A \ {a0} an element a1, then an element from the set A \ {a0, a1} and so on. If the set {a0, a1, a2, ...} is not yet the complete set A, we can choose from A \ {a0, a1, a2, ...} an element aω, then an element a(ω+1), and so on. This procedure must come to an end, because beyond the set W of ordinal numbers which are mapped on elements of A, there are greater numbers; these obviously cannot be mapped on elements of A." [F. Hausdorff: "Grundzüge der Mengenlehre", Veit, Leipzig (1914); reprinted: Chelsea Publishing Company, New York (1965) p. 133f]

We see that Hausdorff counts from 0 to 0, 1, 2, ... and beyond to ω and further. This method is not endorsed by Fraenkel and Zermelo but by leading present set theorists:

"It is a perfectly valid and commonly used construction." Emil Jeřábek

"I endorse this method." J.D. Hamkins

Cast in the same mould: "We repeat this process countably many times." [Paul J. Cohen: "The discovery of forcing", Rocky Mountain Journal of Mathematics 32,4 (2002) p. 1076f] "If this procedure is iterated aleph_2 times ..." [Karel Hrbacek, Thomas Jech: "Introduction to set theory", 2nd ed., Marcel Dekker, New York (1984) p. 232ff]

  • -1: Bankruptcy is not a condition that's tested for at omega; but a condition that is reached any time before omega. – Mozibur Ullah May 4 '18 at 10:51
  • McDuck is not bancrupt at any finite time n, because W(n) = 9n. Either he is bankrupt after all time or never. – Wilhelm May 4 '18 at 11:03
  • On making-it-up logic W(n) could be 23 or 16.5 or 12.33333 – Mozibur Ullah May 4 '18 at 11:17
  • No. W(n) = 9n. The sequence is 9, 18, 27, ... – Wilhelm May 4 '18 at 11:29
  • 1
    Really this post needs voting down by -infinity. – Mozibur Ullah May 4 '18 at 11:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.