Date: Mar 8, 2013 3:03 AM
Subject: Re: Matheology § 222 Back to the roots
On 7 Mrz., 22:59, William Hughes <wpihug...@gmail.com> wrote:
> On Mar 7, 9:39 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > To talk of d without further specification is silly.
> WM: There does not exist
> (in the sense of not findable)
> a natural number m such that
> the mth line of L is coFIS with
> No mention of the state of d. So I guess
> we can talk of whether d is coFIS with
> a line without mentioning
> the state of d.
Mentioning d means you are talking about actual infinity, namely all
FISs of d. But in potential infinity we have only *every* FIS of d.
For every FIS of d there is a g.
> Do you agree with the statement
> g is not coFIS with d.
There is no d in potential infinity. We can talk about the d of actual
infinity, evaluate its properties and finally find out that it is