In article <firstname.lastname@example.org>, "Julio Di Egidio" <email@example.com> wrote:
> "Virgil" <firstname.lastname@example.org> wrote in message > news:virgil-49F473.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 > > proving things. > > It is > maybe slightly less known that the standard is purposely incongruent and > commissioned to fail.
Only in the worthless opinion of finitists.
The vast majority of mathematicians, both pure and applied, have no use for finitism. --