On Nov 29, 8:05 am, WM <mueck...@rz.fh-augsburg.de> wrote:
WM has conceded that you can use induction to show that every element of the list has a final 1, and that there is a constructive proof that the diagonal number does not have a final 1.
WM has a new argument.
> Use induction to show that the diagonal number cannot have more digits > than every entry of the list.
This cannot be done. All you do is show that every one of an infinite number of different numbers, none of which is the diagonal number, cannot have more digits than every entry of the list.
[Outside of Wolkenmuekenheim where the diagonal number does not change. Inside of Wolkenmuekenheim the diagonal number changes, and everything it changes to has fewer digits than some entry in the list]