Date: Mar 22, 2013 5:12 AM
Author: fom
Subject: Re: Matheology § 224

On 3/22/2013 3:59 AM, Virgil wrote:
> In article
> <55e35b90-83da-46ef-8e1a-3aa03fbac0d6@k8g2000yqb.googlegroups.com>,
> WM <mueckenh@rz.fh-augsburg.de> wrote:
>

>> My proof shows
>> that every line can be removed from the list without removing any
>> natural number from the list.
>>
>> Regards, WM

>
> Only in WM's wild weird world of WMytheology does anyone claim to be
> able to remove every line/set from a union of lines/sets and still be
> sure of having all of the union still there.
>


It is the psychological intent to concatenate marks
acting in representation of natural numbers that
remains.

Although Brouwer claims affinity with the Kantian
a priori notion of time, that affinity lasts only
one or two paragraphs. It then turns into a discussion
of causal intent by which the objects of the world
are willfully constructed in relation to the "two-ness"
of a priori time. Each trailing element of a given
primitive "two-ness" initiates the next instance of
"two-ness" and another round of causal intent
with its willful construction.

Brouwer, however, was a mathematician who actually
produced mathematics on the basis of such ideas.

WM seems to have taken something similar to this
as his material definition of "proof by reality".