Re: limitation to induction on finite bounds

From: |-|erc (gotcha_at_beauty.com)
Date: 06/29/04 

Date: Tue, 29 Jun 2004 09:18:26 GMT

"Will Twentyman" <wtwentyman@read.my.sig> wrote
> >>>>is {0.9, 0.99, 0.999, ...} = 1 ?
> >>>>
> >>>>If so, where is 1 on the list?
> >>>
> >>>
> >>>what number is inbetween 0.999.. and 1?
> >>
> >>They are both 1.
> >
> > doesn't answer the question.
>
> There isn't one. What number is between 1 and 1? Nothing.

Question 1
What number, if any, is between 0.99... and 1?

Question 2
What number, if any, is between all the numbers in {0.9, 0.99, ...} and 1?

What question do you think I'm trying to ask? What should I expect when
"forall x, trueformula(x) <-> hasproof(x)" disproves Godel statements so its not an
allowed formula.

pile = 0
start:
 add sand to pile
goto start

is the pile of sand a mountain yet?

Herc
   there is no finite sequence of digits of anti_diag not present on the list
   of computable numbers.
   Will : yes

   there are an infinite set of digits of anti_diag not present on the list of
   computable numbers.
   Barb : Yes, if by "set" you actually mean "sequence"

Relevant Pages
Quantcast