Mathematical analysis uncovers four proof standards applied to Larsen's Carmichael theorem, highlighting epistemic divides between classical truth and constructive procedures.
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.
No takes yet. Share an insight, caveat, or question.
YAHM… Parker Emmerson (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: