(Collection) Sufficiently Large: Presence, Thresholds, and the Carmichael Theorem

Papers, data, and source files from a reading of Daniel Larsen’s Bertrand-type theorem for Carmichael numbers (IMRN 2023) under four standards for what a proof delivers — classical truth, constructive witness, effective procedure, and presence. The collection holds the mathematical note on Theorem 4 and the shared modulus of the construction, the philosophical article on asymptotic theorems and the grammar of “sufficiently large,” the essay “True of No Interval You Can Name,” the corpus document Surrogate Zeros in Larsen’s Bertrand Postulate, and the verified Carmichael table (OEIS A002997 entries 100–1670) on which the finite verifications rest. Companion to the Mirror Calculus and Deprogramming Zero deposits.