diagonalization
Posted: Tue May 14, 2024 7:59 am
By diagonalization we can build an entity that is not equal to any of the rows in a infinite table.
By the way for example, we can build a decimal number different from each of the decimal numbers supposedly enumerated in the row of numbers "0._ _ _...".
Since, we have a number which is out of the enumeration.
I wondered if there is a possibility to enumerate "diagonal numbers". I mean as below.
One kind of diagonal is like this
x
- x
- - x
Another is like this
x
- - x
- - - - x
Another
x
- - - x
- - - - - -x
an so on.
We can enumerate as this.
1. first line
2. first diagonal
3. second line
4. second diagonal.
In this way is it possible to say that diagonalization aren't out of enumerated entities and the set of row and diagonal numbers both are
By the way for example, we can build a decimal number different from each of the decimal numbers supposedly enumerated in the row of numbers "0._ _ _...".
Since, we have a number which is out of the enumeration.
I wondered if there is a possibility to enumerate "diagonal numbers". I mean as below.
One kind of diagonal is like this
x
- x
- - x
Another is like this
x
- - x
- - - - x
Another
x
- - - x
- - - - - -x
an so on.
We can enumerate as this.
1. first line
2. first diagonal
3. second line
4. second diagonal.
In this way is it possible to say that diagonalization aren't out of enumerated entities and the set of row and diagonal numbers both are