|
Re: Matheology 203
Posted:
Feb 6, 2013 3:49 AM
|
|
On 6 Feb., 04:47, Ralf Bader <ba...@nefkom.net> wrote: > According to Mückenheim, "There is no > sensible way of saying that 0.111... is more than every > FIS". Of the authorities you called upon, whom would you find capable of > regardng this as a sensible assertion
Compare Matheology § 030: We can create in mathematics nothing but finite sequences, and further, on the ground of the clearly conceived "and so on", the order type omega, but only consisting of equal elements {{i.e. numbers like 0,999...}}, so that we can never imagine the arbitrary infinite binary fractions as finished {{Brouwers Thesis, p. 143}}. [Dirk van Dalen: "Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer", Oxford University Press (2002)]
Regards, WM
|
|