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

On 3/22/2013 3:59 AM, Virgil wrote:
> In article
> <>,
> WM <> 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

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".