On 4/13/2013 4:06 AM, WM wrote: > On 13 Apr., 10:42, fom <fomJ...@nyms.net> wrote: >> On 4/13/2013 3:16 AM, WM wrote: >> >>> On 13 Apr., 06:47, "AMiews" <inva...@invalid.com> wrote: >> >>>>> every d_n of a numerical Cantor-list is the last digit of a >>>>> terminating decimal. >>>>> Never, do you understand, never anybody has seen or used a d_n that >>>>> does not belong to a terminating decimal. >> >>>> you seem confused by standard math notation here. Irrationals no one has >>>> seen the end. >> >>> But you believe in its existence nevertheless? >>> There is no end and there is no "all", because every scientific use of >>> "all" would include to find all. And that includes to prove that all >>> have been found. And that includes that a last one has been confirmed. >> >> WM's finite existence hypothesis. > > No, there is the simple fact that mathematics is done by finite means > and that statements concerning actions have to be proved,. It it not > sufficient to prove that if some axioms are given, that then things > have to be so and so.
Perhaps, but the critics of Hilbert's formalism actually engaged in proper mathematical discourse when debating these matters.
Nothing you do could be described as "proper mathematical discourse" and that has nothing to do with anyone's beliefs but your own.