```Date: Jan 28, 2013 9:45 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: ZFC and God

On 28 Jan., 12:41, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:> WM <mueck...@rz.fh-augsburg.de> writes:> > On 27 Jan., 23:27, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:>> >> > Of course. But why should we agree on a special k? Every natural> >> > number will do. So we only have to know that k is one of those natural> >> > numbers that belong to FISONs. As long as we work in FISONs we cannot> >> > have a non-terminating decimal.>> >> I honestly have no idea what you're trying to say here.  Why not> >> simply prove that there is such a k and f?>> > Because every natural number is finite. Why fix one of them? I do> > *not* claim that there is a k such that all terminating decimals are> > shorter. I claim that every length n of digits is finite. That is a> > huge difference.>> We're not talking about finding a single length for "all terminating> decimals".Just that is what you try when you look for a fixed k.0.777... is terminating as long as it belongs to the set of allterminating decimals, i.e., does not surpass the domain of finiteindices.>  I'm asking about a single number, 0.777..., which you> claim is terminating.>> Please show that there is a k and f as required by the definition of> terminating decimal representation so thatBy *your* definition of terminating, this may be required. Not by themathematical definition which relies upon the fact that every naturalnumber is finite and that a non-terminating decimal cannot be definedby digits but only by the finite definition: "This decimal will neverend".My definition of terminating says only that the terminating decimalbelongs to the set of all terminating decimals, which is as welldefined as the set of all natural numbers.In order to show that a decimal is not terminating, you are obliged tofind a digit, the index of which doe not belong to a FISON (1, 2, ...,n). Of course you will fail. But nevertheless try it.That are the rules.Regards, WM
```