Date: Jul 17, 2013 3:05 AM
Subject: Re: Matheology § 300

On Wednesday, 17 July 2013 08:33:12 UTC+2, Virgil wrote:
> In article <>, wrote: > On Tuesday, 16 July 2013 21:23:32 UTC+2,
>>> Thus WM claims that a non-terminating decimal, such as the one for 1/9, > cannot be distinguished from any of its truncated thus terminating > decimal approximations.

>> It can be distinguished from any of its terminating approximations.

> Then why did WM so often claim otherwise?

I did not, but unfortunately you are unable to distinguish between a finite definition that allows for calculating every finite string of digits and an infinite string of digits (that would be required to distinguish more than countably many strings).

Regards, WM