Hi moshek,
I do not convict anyone in anything, all what i want is to share my ideas with other persons.
Please let me show you some interesting connection between redundancy and uncertatinty, when we construct the combinations list, by using the ZF axiom of infinity.
For example, let us look at 2^2:
0 0
0 1
----
1 0
1 1
And now let us look at 2^3:
0 00
0 01
0 10
0 11
-----
1 00
1 01
1 10
1 11
And 2^4:
0 000
0 001
0 010
0 011
0 100
0 101
0 110
0 111
------
1 000
1 001
1 010
1 011
1 100
1 101
1 110
1 111
In all examples the uniquness of each row, depends on the left most 0 XOR 1 notations.
But when we have infinitely many 01 notations in each row, the left most 0 XOR 1 notations cannot be reached by us, thefore it is unknown, and we always have two identical lists, that cannot be distinguished from each other.
Both uncertainty and redundancy values depends on the number of different notations in any combinations list, for example:
2={'0','1'} , 3={'0','1','2'} , 4={'0','1','2','3'} , ...
I think because of this connection between uncertainty an redundancy (when dealing with infinity), Cantor's Diagonalization method cannot work on infinitely many objects.
This is the main idea of my proof.
Uncertainty and redundancy are essential properties of any rigorous argument dealing with infinitely many objects.
'Completeness' and 'Infinitely many objects' are complementary concepts (exactly like waves and particles in Quantum Mechanics).
When you don't internalize it, then there is no connection between our point of views, about the infinity.
Organic