On 3/22/2013 3:59 AM, Virgil wrote: > In article > <firstname.lastname@example.org>, > WM <email@example.com> 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".