On 4/17/2013 10:51 AM, WM wrote: > > Absolutely quite. Of course AC is true and every vector space has a > basis. Alas there is nothing uncountable. >
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.