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. With respect to actions like sending signals or reading tables, the reality is the proof. This can be seen by Zermelo's AC. He said well-ordering is possible, but reality says no. So the axiom proves nonsense. For matheology this may me tolerable, since it inputs and outputs only nonsense which nobody can use in any respect other than for set-theoretical masturbation. But in doing mathematics restrictions put by reality cannot be overcome.