LudovicoVan
Posts:
3,458
From:
London
Registered:
2/8/08


Re: Matheology § 300
Posted:
Jul 13, 2013 10:05 PM


"Virgil" <virgil@ligriv.com> wrote in message news:virgil49F473.13352213072013@BIGNEWS.USENETMONSTER.COM...
> It is well known that finitist analogues of theorems in standard > analysis, when they exist, are much more difficult to prove that the > theorems themselves, so nothing is gained except greater difficulty in > prooving things.
It is well known that constructive analysis is not so more difficult than the standard, except in the mantras of you defenders of a dogma. It is maybe slightly less known that the standard is purposely incongruent and commissioned to fail.
Julio

