```Date: Jan 25, 2013 9:58 PM
Author: Virgil
Subject: Re: ZFC and God

In article <87ip6kvhk1.fsf@phiwumbda.org>, "Jesse F. Hughes" <jesse@phiwumbda.org> wrote:> WM <mueckenh@rz.fh-augsburg.de> writes:> > >> I'm not going to bother working through your addled analogy.> >> > You need not. Just ask yourself whether or not it is possible to> > define in ZFC the set of all terminating decimal representations of> > the real numbers of the unit interval. If you think that it is not> > possible, then you should try to learn it. If you know it already,> > then we can formally restrict ourselves to working in this set until> > we discover a digit that is not defined in an element of this set.> >> > Your further questions then turn out meaningless.> > I asked how you define terminating decimal representation.  How is> that meaningless?> > Here's the definition I suggested again.  Please tell me if you agree> with it, and if not, what definition you have in mind.> > 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)> > If x has no terminating decimal representation, then we say that x is> non-terminating. > > We cannot continue unless I know what you mean by terminating decimal> representation.WM finds precise careful definitions far too restricting for his maunderings in Wolkenmuekenheim, so will resist either providing one himself or accepting anyone else's.--
```