Maze1125 said:
Yes, you've said that lots and lots of times.
Yet, despite claiming there are loads of examples where such a "fallacy" gives a false result, you have yet to provide a single example that has the same "fallacy" and gives a false result.
And you have yet to disprove my assertion that you have a fallacy. Your argument is circular and my argument is circular. The reason is simple: we disagree about the facts of the argument. You believe you proof is sound. I believe your proof is not.
Maze1125 said:
Another thing I find hilarious is how you claim to be a student of formal logic, yet you fall pray to so many fallacies yourself. Such as appealing to authority or moving the goalposts, or how being unwilling to accept a conclusion leads you to decide the conclusion is false.
There is no moving of the goal posts happening. Follow me a moment:
Theorm: all numbers can be unambiguously described using an arbitrary number of words
If your proof is TRUE, then it follows that
There is a system that can allow us to unambiguously describe this set of numbers.
The second part MUST be true if the first part is true. If we assert that it is possible (the entire point of your proof) then it follows that it MUST be possible.
Maze1125 said:
But hey, let me help you out, because you're constantly insisting that the words in the language must be finite despite the fact the proof in no way calls for that and with no real justification why a proof that doesn't call for a finite language ought to work with one, all you've given is hand-waving about the spirit of the problem, which is hardly mathematically rigorous.
The words in a language ARE finite at any given moment. I am not speaking strictly of the contents of a dictionary. At any instant, the sum total words in a language are finite but increasing at a variable rate. Given infinite time, it stands to reason that the total words approach infinity. This proof, however, does not ever state infinity in it's presmise. If it did, there is no need of proof.
The reason such a proof is commonly demonstrated (and ever commonly cited as being fallacious) is because it demonstrates something that runs counter to logic. As I have stated time and again, the proof is essentially stating that you will have a finite number divided by a number that approaches infinity. if you take look at the function f(x) = 1/x and take the limit as x - infinity do you know what you arrive at? If you guessed zero, you'd be correct.
Now, the implication of such a function is simple: you have proven that any finite number divided by an arbitrarily large number that approaches infinity approaches zero. Or, to put it another way, if you use finite words, no matter how large your word set is at a given instant, you can only assign unique (or, as the proof calls it, unambiguous) names to precisely 0% of your infinite number set.
Maze1125 said:
It ought to work with a finite language, because changing the sentence "The smallest natural number that cannot be unambiguously described in fourteen words or less." to "The smallest natural number that cannot be unambiguously described in twenty two words that exist in the Oxford English dictionary or less." or even "The smallest natural number that cannot be unambiguously described in nineteen words that exist in this sentence or less." does not change the proof in any way.
You're indeed correct - the precise number is irrelevent in your proof. My qualm is not with the number fourteen, it's with the claim that a finite number can be divided by infinity and yield anything other than zero.
Maze1125 said:
Also, the number of words allowed to describe the numbers is fairly arbitrary too, as more concise languages may be able to accurately convey the sentence in only 5 or 6 words, or maybe even less.
I can agree with your assertion thus far.
Maze1125 said:
So it may be possible to find a language where to proof can still be made yet the potential number of different sentences of the appropriate length is only 6^6. Yet I claim it is still possible for each natural number to be unambiguously described with that few options. This is clearly inane by any common-sense. But maths has rarely followed common-sense.
Let's bring your argument into the realm of the finite. We know we are dealing with an infinite set, so substitue that for a number - say 1,000
Then say we have a langage of words that represent a smaller set - let's say 10 words. If you have 3 word limit for description can you unambiguously name all the words?
The answer is, in fact YES (10^3 = 1000) you have precisely enough words and spaces to assign a unique name to every single member of our finite set.
But, what if our number set becomes 1001? Suddenly you run into a problem - you have run out of unique word combinations to use. From where I stand, if to continue this process my set of word options or my word length needs to increase if I want to continue unambiguously naming numbers.
Interestinly, this is precisely the process used in the number naming process. Each digit in each decimil place has a unique name. Thus, for a number of nine digits long, it may take as may as nine words to describe. For example, 999,999,999
Is nine-hundred ninenty-nine million, nine-hundred ninety-nine thousand, nine-hundred and ninety-nine. This isn't the most efficent way perhaps in terms of numbers of words but it is incredibly efficient in terms of the total numbers of words required to describe a number of given length.
Maze1125 said:
If you read carefully, understand the proof, and don't presume anything, the answer is actually quite simple.
The conclusion states that "Any natural number can be unambiguously described using fourteen words or less."
That is not the same things as saying "There exists a system of labelling numbers where every natural number can be unambiguously described in fourteen words or less with-in that system."
If the your infintite set can be described using the given conditions then there MUST be a system in which one can generate the responses. What you are essentially saying is "While a unique name certainly exists for an infinite set using my conditions, it is not necessarily possible to generate this name". At this point, you have fallen deeply into paradox. Such scenarios do exist within mathematics and it could be that a proof with rigor is rooted somewhere in the realm of trans-finite numbers and other areas of wierdness.
However, while it appears to be mathematically impossible to generate a set of names from a finite set of words used in a phrase of finite length, I have given you a perfect way to resolve this dilemma: use an infinite set of words.
Maze1125 said:
So, with that in mind, I will show the following theorem is true:
"Any natural number can be unambiguously described using only one word with-in a language that has only one word."
Let the single word in the language be "noo" w.l.o.g.
Let S_n be a system of labelling natural numbers, such that 0 is labelled "noo noo" 1 is labelled "noo noo noo" and the number m is labelled using m+2 noos. The only exception to this is n, which will be labelled with a single "noo".
Now, if I want to describe 1 with a single word, I will pick the system S_1, where 1 is unambiguously described with a single "noo".
Equally, if I want to describe 12950328 with a single word, I will pick the system S_12950328 where 12950328 is unambiguously described with a single "noo".
Therefore, as required, I have shown how every single natural number can be unambiguously described using a single word with-in a language with only a single word.
Of course, this may seem like cheating, but in truth an understanding of the processes of the proof clearly indicates that this is actually what the conclusion means, because if you add the constraint that it is done with-in a single system, the proof doesn't work.
This proof demonstrates that your origian proof CAN be true if and ONLY if you have an infinite set of words.
Numbers are represented in two seperate ways as you are undoubtedly aware: they can be a symbol, such a 1, or they can be words such as one. In this case, you have attached a unique symbol to a word. This symbol changes the meaning of the word. What you have generated as a result is a new word. This is much the same as adding a suffix to any normal word. The word normal for example has a different (but related) meaning to the word normally yet they are still counted as distinctly different. One cannot correctly use the word "normally" in place of the word "normal" because doing so changes the meaning of the sentence.
In your very specific case, you resolved the problem not by using a single set of infinite words but rather an infinite set of finite words. What you have essentially done is proven that I can describe the number 1,000,0000 as 1,000,000. A number is, afterall, nothing more than a string of symbols that impart meaning both individually and as a whole.
That said, this discussion has taken up an immense amount of our respective time. Thus, I am willing to conceed the argument on the following grounds:
Your second proof demonstrates that given a proper word set, one can generate an unambiguous descricription of arbitrary length for each member of an infinite set. This proper word set must be infinite.
Your original proof implies that a finite set can unambiguously refer to an infinite set, a clear violation of mathematical law. Any finite set divided across infinity yields zero, or rather yields a number that approaches zero.
That said, I still don't LIKE the wording of your proof, but the second one at least holds up to it's own implications.
EDIT: A bit of research actually supports one of your assertions I had discarded out of hand: that is, by technical definition, a regular language has infinite words. However, only a finite number of these words have associated meanings at any given moment. Thus, if you want to assign words with known meanings at the moment you are dealing with a finite set (rendering your initial assertion impossible). If you, however do not feel the need to restrict yourself and instead generate new words and assign them a meaning (as you do in your second proof) then you have an infinte set. Infinity/Infinity is undefined as it can literally yield any value. While this value could be zero, it could also be any non-zero number such as 1, which implies that we can assign precisely 1 (or none or more) members from one infinite set to the other.