"WM" <mueckenh@rz.fh-augsburg.de> wrote ... > > By induction we prove: There is no initial segment of the (ANTI)diagonal > that is not as a line in the list.
Right, therefore the anti-diagonal does not contain any pattern of digits that are not computable.