On 4/17/2013 10:55 AM, WM wrote: > On 17 Apr., 17:40, fom <fomJ...@nyms.net> wrote: > >>> My argument it is based on the truths that FISONs (1, ...,n) are >>> identified (not only enumerated) by their last numbers n like polar >>> vectors are identified by the points they point to. n = n is an >>> identity. >> >> Your arguments are based on the structure of triangular numbers. > > Nonsense.
To quote myself:
WM is an unabashed ultrafinitist who refuses to fix a largest finite number. Each "n" in his description depends on the subsequence of triangular numbers.
> F(n)=Sum_i(1..n)(i) > > 1 :=> 1 > 2 :=> 3 > 3 :=> 6 > 4 :=> 10 > > and so on
According to Brouwerian intuitionistic reasoning, when WM's construction reaches the point where the sequence of triangular numbers exceeds the ultrafinitist limit, the contradiction nullifies the construction.