Date: Feb 23, 2013 7:24 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 23 Feb., 11:51, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 23, 11:42 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>
>
>
>

> > On 23 Feb., 10:59, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Feb 23, 12:03 am, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > Does
>
> > > > For every natural number n, P(n)
> > > > is true.

>
> > > > imply
>
> > > > There is no natural number m such
> > > > that P(m) is false.

>
> > > Does
>
> > > There is a line, l, of L
> > > such that l has property P

>
> > > imply
>
> > > There exists a natural number
> > > m such that the mth line of L
> > > has property P.

>
> > > ?

Yes if we interpret "thre exists" in the correct way. But there is a
difference between "we can identify" an "we can prove the existence".
>
> > Can you identify a FIS of d that is not in a line l of L?
>
> No
>

> > You cannot. Nevertheless d consists of FIS of lines of L, and of
> > nothing else, by definition and by construction of d.

>
> > Or do you object to this fact?
>
> No.
>
> Please answer my question.-


Since you seem to speak some German, maybe this will help to
understand: Es kursierte sogar ein Gedicht zum Tertium non datur von
Hubert Cremer:

Und wird mir das ganze
Getu hier zu trist,
Dann kauf ich mir 'ne Kanone
Und werde Putschist.

Ja klassisch da schließen's
Mit falschem Genie;
Sie mag net die andern,
Drum mag's also mi.

Wir Putschisten aber sagen,
Des stimmt net deswegen,
Denn sie braucht nämlich leider
überhaupt kein net z'mögen.

Ach zwischen "Sie liebt mich"
Und "Sie liebt mich nicht"
Da gibt's noch ein Drittes,
Die alte Geschicht.

Und grade das Dritte,
Des gibt mir an Riß,
Man kann's net entscheiden,
Man weiß's halt net g'wiß!

[H. Cremer: "Carmina mathematica und andere poetische Jugendsünden,
Mayer, Aachen (1965). Nachdruck in Dirk van Dalen: "Mystic, Geometer,
and Intuitionist: The Life of L.E.J. Brouwer, Vol. 2", Clarendon
Press, Oxford (2005)]

Regards, WM