Date: Jan 25, 2013 1:52 PM
Author: Jesse F. Hughes
Subject: Re: ZFC and God

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