|
|
Re: ZFC and God
Posted:
Jan 25, 2013 1:52 PM
|
|
WM <mueckenh@rz.fh-augsburg.de> writes:
>> Is t_i(i) also defined for every i in N?
>
> Yes, of course, with absolute certainty.
>>
>> Assuming you will say yes, then I must ask:
>>
>> Is d(i) therefore defined for every i in N?
>
> Yes, of course, with absolute certainty.
>
> And nothing of that takes us out of the domain of all terminating
> decimals, because ;
>
>> > In ZF every n in N is finite.
>
> and with it every FISON.
Well, let's not get ahead of ourselves just yet.
You agree that, for every i in N, d(i) is defined.
I suppose you also agree that, for every i in N, d(i) != 0 and
d(i) != 9, right?
Okay, so d(i) is defined for every i in N, and d(i) is non-zero and
not nine.
Clearly, d is a non-terminating decimal.
Perhaps we should define what a terminating decimal is?
Let x be a real number in [0,1]. We say that x has a terminating
decimal representation iff there is an f:N -> {0,...,9} such
that
x = sum_i f(i) * 10^-i,
and
(En)(Am > n)(f(m) = 0) or (En)(Am > n)(f(m) = 9)
Do you agree with this definition or not?
--
Jesse F. Hughes
"Seems there's no way I can find
to leave what we had behind,
so I keep looking for a way out of my mind." -- Delbert McClinton
|
|
