Virgil
Posts:
6,993
Registered:
1/6/11


Re: Matheology � 257
Posted:
Apr 22, 2013 2:51 PM


In article <800fc6441b3d4161930b9844d1826854@cd3g2000vbb.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> wrote:
> Make a list of all possible computer programs. Order the programs > by their size, and within those of the same size, order them > alphabetically. The easiest thing to do is to include all the possible > character strings that can be formed from the finite alphabet of the > programming language, even though most of these will be syntactically > invalid programs. > Here's how we define the uncomputable diagonal number 0 < r < 1. > Consider the kth program in our list. If it is syntactically invalid, > or if the kth program never outputs a kth digit, or if the kth digit > output by the kth program isn't a 3, pick 3 as the kth digit of r. > Otherwise, if the kth digit output by the kth program is a 3, pick 4 > as the kth digit of r. > This r cannot be computable
But WM has just described an algorithm for computing it.
Besides which, there may well be, at least as far as WM knows, some other algorithm which generates the same sequence of 3's an 4's 

