תמונות העטיפה

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Matsuua, Yoshihito
פורמט: Recurso digital
שפה:
יצא לאור: Zenodo 2025
נושאים:
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
גישה מקוונת:https://doi.org/10.5281/zenodo.18068370
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • <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>

פריטים דומים