Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2503.18575 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916761283067904 |
|---|---|
| author | Semenov, Stanislav |
| author_facet | Semenov, Stanislav |
| contents | Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application -- including generalizations with computable permutations and infinite hierarchies of diagonal extensions -- the resulting set remains countable. Thus, the method demonstrates the incompleteness of countable coverage but is unable to generate an uncountable set. This highlights its limitations as a constructive tool and reveals the boundary between constructive enumerability and the completeness of the continuum. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_18575 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum Semenov, Stanislav General Mathematics 03D80, 03E10, 03B70 F.4.1 Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application -- including generalizations with computable permutations and infinite hierarchies of diagonal extensions -- the resulting set remains countable. Thus, the method demonstrates the incompleteness of countable coverage but is unable to generate an uncountable set. This highlights its limitations as a constructive tool and reveals the boundary between constructive enumerability and the completeness of the continuum. |
| title | Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum |
| topic | General Mathematics 03D80, 03E10, 03B70 F.4.1 |
| url | https://arxiv.org/abs/2503.18575 |