```Date: Jan 26, 2013 4:50 PM
Author: Virgil
Subject: Re: ZFC and God

In article <ke0gdo\$5s2\$1@Kil-nws-1.UCIS.Dal.Ca>, gus gassmann <gus@nospam.com> wrote:> On 25/01/2013 10:58 PM, Virgil wrote:> > 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.> > I suspect he is threatened by them. He cannot work through the (En) and > (Am) notation and all that stuff, so he denies, denies, denies. He is > all bluster, with absolutely zero understanding or hope of understanding > even the simplest mathematical concepts.> > That's why he cannot let himself be pinned down by Jesse's definitions. > He cannot understand them, so he cannot control them. He is, above all, > a control freak.It appears hat Jesse has finally managed to get WM to produce a concrete definition and has used it to good advantage.--
```