On Dec 19, 1:36 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > From the sequence of digits you cannot obtain 1. First you must be > sure that there never will appear a digit other than 0. But unless you > know the last digit, you cannot be sure. And you cannot know the last > digit. > > Of course you can know a formula saying digit d_n = 0 for all n in N. > But that is a finite formula. It is not an infinite sequence of digits > that informes you about the due number.