Formal Verification of Statistical Foundation for Collatz Probabilistic Argument (v3: complete package)

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Navin Dutta, Profiled AI Research
DOI: 10.5281/zenodo.18852957
Cited by: 0

Abstract

Complete publication package including: proper LaTeX paper, Lean 4 source proofs (0 sorrys), derivation chains, evidence, computation code, literature references. See lean_proofs/ for the formal verification source.

Fields of Study & Subjects

Logic programming and type systems Analytic Number Theory Research Mathematical Dynamics and Fractals

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
3 March 2026
Language
EN
Document type
Preprint