A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
Fuente:
Zenodo
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Publicado: |
Zenodo
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866902321393303552 |
|---|---|
| author | Matsuua, Yoshihito |
| author_facet | Matsuua, Yoshihito |
| contents | <p>This version updates the manuscript to explicitly correspond to the<br>CollatzFiniteDepth Kernel (v3), a fully mechanized Coq proof kernel<br>archived on Zenodo under the Concept DOI:</p> <p>https://doi.org/10.5281/zenodo.18068117</p> <p>The mathematical content is unchanged. The update clarifies the<br>one-to-one correspondence between the written exposition and the<br>machine-checked proof artifact, ensuring long-term reproducibility<br>and independent verification.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18068370 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version) Matsuua, Yoshihito Collatz Conjecture finite descent height function odd reduction Mother Chain Mathematical logic structural number theory Coq formalization Matsuura Structural Hierarchy formal verification mechanized proof well-foundedness termination proof <p>This version updates the manuscript to explicitly correspond to the<br>CollatzFiniteDepth Kernel (v3), a fully mechanized Coq proof kernel<br>archived on Zenodo under the Concept DOI:</p> <p>https://doi.org/10.5281/zenodo.18068117</p> <p>The mathematical content is unchanged. The update clarifies the<br>one-to-one correspondence between the written exposition and the<br>machine-checked proof artifact, ensuring long-term reproducibility<br>and independent verification.</p> |
| title | A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version) |
| topic | Collatz Conjecture finite descent height function odd reduction Mother Chain Mathematical logic structural number theory Coq formalization Matsuura Structural Hierarchy formal verification mechanized proof well-foundedness termination proof |
| url | https://doi.org/10.5281/zenodo.18068370 |