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 <firstname.lastname@example.org>, email@example.com 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).