Re: An infinite debate
- From: "Randy Poe" <poespam-trap@xxxxxxxxx>
- Date: 7 Nov 2006 10:31:03 -0800
Ajeet wrote:
stephen@xxxxxxxxxx wrote:
Ajeet <asgrewal@xxxxxxxxx> wrote:
Randy Poe wrote:
Ajeet wrote:
Randy Poe wrote:
Ajeet wrote:
Tim Peters wrote:
[Ajeet]
Hi All,
Consider the following set :
S = U S_i (0<=i<infinity and U denotes the set operation of union)
where S_i is the set of all numbers, whose decimal representations are
of length i. For example the number 3.4 belongs to S_2. (assume the
decimal does not add to the length, so 34 would also belong to S_2).
Then this consequence follows:
If r is an element of S, r's decimal representation is finite.
Simply because there must be an i such that r is an element of S_i, in which
case r's decimal representation has i digits.
Argument : S = R (set of all real numbers)
========
Good luck ;-)
Proof:
=====
Suppose a real number "r" does not exist in S. let the decimal
representation of "r" be d_0.d_1d_2d_3......(to infinity) where d_i is
the ith digit.
+Since r does not belong to S, there will be some digit k which will be
off.
Why? This effectively assumes what you're trying to prove. What /does/
follow is that r's decimal representation is not finite.
More precisely
the prefix d_0.d_1d_2d_3....d_k-1 belongs to S but,
the prefix d_0.d_1d_2d_3....d_k-1d_k does not belong to S
But this is not possible because that prefix would have been added in
all sets S_j where j >= k+1.
Whereas what actually obtains is that every finite prefix of r is contained
in S. The idea that there must be some k such that r's first k digits
appear in S while r's first k+1 digits don't is simply false.
Yes ... I have been given this argument. I understand it but dont get
the premise. For example, you will probably argue that the set of all
finite strings will not contain an infinite string.
Correct.
But then what is
the length of the largest finite string in the set?
Why does there have to be a largest finite?
If it is finite,
then shouldnt there be such a maximum finite length string?
No. Why must the process of adding 1 to finite numbers
to get new finite numbers end?
There is no
such maximum finite number .. i.e. it is infinitely large.
Eh? Because a finite number can be arbitrarily large it
can't be finite?
I am not assuming a largest finite. In fact im arguing for the
opposite. Let me ask you, since N is the set of natural numbers, what
number of N do you get when you infinitely increment any number by 1.
You do not get an element of N by incrementing infinitely
many times.
Then what do you get? Suppose a machine starts incrementing a printing
out natural numbers. At what point would they stop being natural
numbers?
Never. There is no end to the natural numbers. That is what "infinite"
means.
That is exactly my point. Keep adding 1 infinitely and you will end up
This is the source of your error: That there is an end. That you
"end up" anywhere. That there is something "after" this
increment process.
with an infinitely large number. I dont understand how adding a finite
amount an infinite number of times would still give you a finite amount
Once again, nowhere in such a process have you ever
"added a finite amount an infinite number of times".
Each natural number, without exception, is the result
of a finite number of such additions.
The generation of finite values DOES NOT END. There is
no such thing as "ending up" with the end of this
process. You keep thinking about the end. There is no
end.
Probably you'll object again. When you do, I will be able
to point out once again where your phrasing includes
an assumption that there is an end of a process which
does not have an end.
- Randy
.
- References:
- An infinite debate
- From: Ajeet
- Re: An infinite debate
- From: Tim Peters
- Re: An infinite debate
- From: Ajeet
- Re: An infinite debate
- From: Randy Poe
- Re: An infinite debate
- From: Ajeet
- Re: An infinite debate
- From: Randy Poe
- An infinite debate
- Prev by Date: Re: diagonal argument on ordered array of reals
- Next by Date: Re: Without the Pigeonhole Principle
- Previous by thread: Re: An infinite debate
- Next by thread: Re: An infinite debate
- Index(es):
Relevant Pages
|