```Date: Apr 25, 2013 6:21 AM
Author: fom
Subject: Re: Matheology § 246

On 4/25/2013 4:45 AM, WM wrote:>>>> When we abbreviate "resolution of the equality x^3 + 1 = 0" by lambda,>>> we can say>>> E lambda, lamda is real. (true)>>>> My proposal: Explain what you find mistaken with my explanation or> admit that you are in error.It is unlikely that you are using that specificationas a universe of discourse.==========================================================WM's "logic":http://en.wikipedia.org/wiki/The_Art_of_Being_Right#SynopsisWM's "mathematics":WM is an unabashed ultrafinitist who refuses to fixa largest finite number.  Each "n" in his descriptiondepends on the subsequence of triangular numbers. > F(n)=Sum_i(1..n)(i) > > 1 :=> 1 > 2 :=> 3 > 3 :=> 6 > 4 :=> 10 > > and so onAccording to Brouwerian intuitionistic reasoning,when WM's construction reaches the point wherethe sequence of triangular numbers exceeds theultrafinitist limit, the contradiction nullifiesthe construction.This is WM's model of mathematics:http://en.wikipedia.org/wiki/Finite_model_propertyuntil he reaches his contradiction andit vanishes.=====================================The triangular numbers correspond withthe number of 'marks' representing numeralsor significant denotations occurring in anyof WM' representations of the form:12, 13, 2, 1...n, ..., 3, 2, 1...-------------------------------------This number of 'marks' satisfies a structuralfeature of the natural numbers called adirected set:DefintionA binary relation >= in a set D is saidto direct D if and only if D is nonemptyand the following three conditions aresatisfied:DS1)If a is an element of D, then a>=aDS2)If a, b, c are elements of D suchthat a>=b and b>=c, then a>=cDS3)If a and b are elements of D, then thereexists an element c of D such that  c>=aand c>=bSo, WM's geometric reasoning for any givenn obtains a finite model domain with itscardinality given by the associatedtriangular number.  The triangular numberis the "element c" of condition DS3 fromthe definition.-------------------------------------Finally, Brouwer's explanation for finitaryreasoning is used because WM refuses tocommit to any mathematical statement withcoherent consistent usage.Brouwer distinguishes between results withregard to 'endless', 'halted' and'contradictory' in his explanations"A set is a law on the basis ofwhich, if repeated choices ofarbitrary natural numbers are made,each of these choices eithergenerates a definite sign series,with or without termination of theprocess, or brings about theinhibition of the process togetherwith the definitive annihilationof its result."WM cannot be an ultrafinitist andexpect others to not hold him totask for it.  In constrast toBrouwer, he repeatedly statesthat there is absolutely nocompleted infinity.  Therefore,there must be a maximal naturalnumber for his model ofmathematics.  Beyond thatnumber, there is no mathematics.That is WM's belief as surmisedfrom his statements and reasoningsas opposed to what he says withrhetoric.
```