On 18 Apr., 09:15, fom <fomJ...@nyms.net> wrote: > On 4/18/2013 2:07 AM, WM wrote: > > > On 18 Apr., 08:52, fom <fomJ...@nyms.net> wrote: > > >> WM does not know what a mathematical > >> rule-governed process is. > > > Divide 1 by 9, then you have an example probably easy enough for you > > to understand. > > Yes. Something -- namely, an algorithm -- > by which the rule-governed constructive > mathematics of Markov and Sanin developed > Brouwer's idea of rule-governed mathematics. > > WM DENIED THIS MATHEMATICS
No. The algorithm exists. But it will never yield a complete infinite decimal string equal to 1/9. Every index of a 1 of that string that you can name, imagine, or think is finite. Obviously it is the greatest you can name, when attempting to name the greates you can (why should you have chated yourself?). Mathematics is discussing topics of numbers and figures. If you cannot discuss about a greater number than that one you just imagine, then there is not a greater number for you at just this time. That does not mean that number remains always your greates. Simple as that.