I have to say that I don’t consider Wang’s paradox very interesting in itself, I have to confess that I find it rather trite. However, when I came across it in a paper A Defense of Strict Finitism (Footnote: Jean Paul Van Bendegem, A Defense of Strict Finitism, Constructivist Foundations 7.2 (2012) pp. 141-149. Online at A Defense of Strict Finitism.) by Jean Paul Van Bendegem, which refers to Wang’s paradox in attempts to defend the notion of Strict Finitism, (Footnote: Strict Finitism is subject to various definitions, but it is generally agreed to be a system of mathematics where there is not limitlessly many natural numbers.) I felt I had to put a virtual pen to virtual paper.
Wang’s paradox is based on what is known as the Sorites paradox. In this supposed paradox one typically considers a heap of sand, from which grains are removed one at a time. Eventually only one grain of sand will be left, and a single grain of sand is not a heap. The ‘Sorites paradox’ is that one cannot define at what number of grains does the heap stop being a heap. Clearly, the ‘paradox’ here results from the imprecision of the term ‘heap’. Wang’s paradox applies this to natural numbers as:
The number 1 is small,
If the number n is small, then the number n + 1 is also small,
Therefore, every natural number is small.
The reason why this may appear paradoxical is dealt with below by reference to Van Bendegem’s paper, which demonstrates a typical case of a failure to see the fundamental fallacy underlying common interpretations of Wang’s paradox.
In Van Bendegem’s paper, he considers a common argument against the notion of Strict Finitism, stating, “This first argument against Strict Finitism is without doubt the most popular one. It runs as follows. It is totally senseless to claim that one can only count up to a certain number n and then suddenly stop. Put otherwise: if one can write down a number (sign) n, then one can also write down number (sign) n + 1.”
Van Bendegem bases his counter argument around three statements:
(∀n)(A(n) ⊃ A(n + 1))
i.e. (P1) says that the number 1 has the property A, (P2) that if n has property A, then the next number in line also has it, and (C) says that all numbers have the property A.
He then introduces Wang’s paradox by defining A(n) as:
“the number n is small.”
and he says that “If (P1) and (P2) acceptable, then (C) follows, or in other words, all numbers are [small]. Which is obviously wrong. ”
He then considers how we might deal with this. But the two obvious options are either:
- accept the hypothesis that the property of being ‘small’ is a property to which P2 applies, in other words, accept the hypothesis that all numbers are ‘small’, or
- reject the hypothesis that the property of being ‘small’ is a property to which P2 applies, in other words, reject the hypothesis that all numbers are ‘small’.
While Van Bendegem considers that the first option is ‘obviously wrong’ without providing any logical reason why it might be wrong, in mathematical terms, it doesn’t actually matter which I choose, when considering numbers in purely mathematical terms, because there is no prior mathematical definition of ‘small’ for a number. What we can say is that for two different natural numbers, one is always smaller than the other, and in mathematical terms:
x is smaller than y implies that there exists a z, where x + z = y.
Here the term ‘smaller’ is a relative term. However, as Van Bendegem uses it, the term ‘small’ is an absolute term, and ‘small’ as an absolute term has no definition in mathematics. So one can apply any definition one likes for the term ‘small’.
Van Bendegem rejects the hypothesis that the property of being ‘small’ is a property to which P2 applies, i.e. he rejects the hypothesis that all numbers are ‘small’, and then he states that this results in the expression of classical logic which is:
(∃n)(A(n) & ¬A(n + 1))
and he claims that “We have hereby transformed the vague A to a precise one.”
Well, no, he hasn’t, all he has done is to claim that A is a property for which P2 does not apply, and the result of
(∃n)(A(n) & ¬A(n + 1))
is simply another expression of the negation of P2. This expression (∃n)(A(n) & ¬A(n + 1)) is a precise expression of classical logic only when A is precisely defined. Van Bendegem’s claim that by this expression he has transformed the vague notion of ‘small’ (i.e. the property A) to a precise one is preposterous nonsense; the actual number at which a number stops being ‘small’ has still not been defined. All that (∃n)(A(n) & ¬A(n + 1)) is telling us that A is a variable whose domain is all properties for which P2 does not apply.
Van Bendegem goes on to ask the question, “Who would be prepared to claim that 1000 is small, whereas 1001 is not? ”, but this is disingenuous, since all he is doing is passing the buck on defining a ‘small’ number to the reader, while refusing to do so himself. But I have no problem at all in defining it for any given set of natural numbers - I can define it quite simply as the smallest number in the set. So, for example, for all natural numbers excluding zero I define small to apply to the number 1 and to no other number in the set.
So, given that definition, where’s the problem? Well, perhaps that definition of a small number might seem to be unreasonable, because someone might say, for example, “Surely three is a small number? ”. But here we see that we are attaching common everyday notions to numbers, which are actually not properties of the numbers themselves. We commonly would say that three is a small number because, in everyday situations, we regard three things as a small number of things, but we would regard a thousand things as a large number of things.
Van Bendegem’s fallacious argument is simply an illustration of the pitfalls of using common language terms for mathematical properties. If in the first instance, Van Bendegem had simply said:
A(n) is defined as: “the number n is qwelky”
A(n) is defined as: “the number n is small”,
then his rhetorical question:
“Who would be prepared to claim that 1000 is ‘small’, whereas 1001 is not? ”
“Who would be prepared to claim that 1000 is ‘qwelky’, whereas 1001 is not? ”
where the reliance of the rhetoric of the question on non-mathematical notions now becomes obvious. And his earlier assertion that it is ‘obviously wrong’ to apply a definition that all numbers are ‘small’ is now seen to be simply an appeal to everyday intuition rather than based on any logical considerations. It is evident that Van Bendegem’s argument is simply the construction of a straw man that he can easily demolish, and it is not an argument that has any logical value.
Mathematically useless numbers?
Van Bendegem goes on to use Wang’s paradox in an attempt to justify the assertion that numbers greater than a certain value cannot be mathematically ‘useful’. He refers to the definitions of the propositions P1 and P2 states: “For property A(n), take ‘I can write down the number (sign) n’ ”.
I can write down the number 1.
If I can write down the number n, then I can also write down the number n + 1.
Van Bendegem asserts that “This claim also seems perfectly acceptable.” No, it doesn’t, the claim is absurd. The original expressions P1 and P2 are strictly logical mathematical expressions, and have no connection to physical actions. Physical actions obviously have limitations - but what has that got to do with the theory of mathematics?
Now, it is possible to have relatively simple physical representations of relatively huge numbers, where the number is defined by a relatively simple pattern - so we could have two such numbers where it would be impossible to have a representation of every single number that lies between two such numbers - since there would be numbers between the two numbers that do not have any simple pattern or representation. Hence there is not a simple linear progression where the possibility of physical representation is directly proportional to the size of a number. Van Bendegem attempts to deal with this by defining a specific physical representation as follows:
I can write down the number 1 on paper in the decimal system.
If I can write down the number n, then I can also write down the number n + 1 on paper in the decimal system.
Van Bendegem admits that: “Of course, your average classical mathematician can reply that this precisely shows that there is no room in mathematics for properties such as ‘to write down the number n on paper in the decimal system.’ In all honesty, I have nothing against this.” But while he claims to have nothing against it, what he says later belies this; he goes on to state that there is a gray area between numbers that can definitely be written down, and those that definitely cannot, and claims: “If statements about numbers in the gray zone are indetermined, then nothing much can be said about them in mathematical terms anyway. In other words: these numbers are not useful.”
But in saying this, he is simply replacing the original statements (P1) and (P2) by:
The number 1 is mathematically useful.
If the number n is mathematically useful, then the number n + 1 is also mathematically useful,
and then surreptitiously stating that, well, actually there is a limiting number n beyond which (P2) does not apply and a third statement (P3) also applies:
There is a number m such that for all n > m, n is not mathematically useful.
Here Van Bendegem’s argument is laughable. He refers to a gray area given by the first definition, which admits of any physical representation. Then he confuses the issue by referring to representations that are only decimal representations. But this is a red herring since in fact, we do know that there are precise definitions of numbers that have been used in mathematical contexts (e.g. Graham’s number), and where it has been calculated that it would be impossible to represent them in standard decimal notation in our universe. Such numbers are way above any possible decimal representation, yet they are mathematically ‘useful’; they are numbers that few mathematicians would be prepared to claim that all of them are mathematically useless. At this point Van Bendegem has thrown logic out of the window and supplanted it by nonsense.
There are several papers on this subject, for example, Wang’s Paradox (Footnote: Michael Dummett, Wang’s Paradox, Synthese 30 (1975) 3-4 pp. 301-324. ). by Michael Dummett argues against Strict Finitism, and Strict Finitism Refuted? (Footnote: Ofra Magidor, Strict Finitism Refuted?, Proceedings of the Aristotelian Society vol.107 (2007) No.1 pt 3 pp. 403-411.) where Ofra Magidor disputes Dummett’s argument.
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.
Note: a password enables editing of comments, an email enables notification of replies