Work

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

Year: 2026
Type: article
Abstract: 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.
Language: English
Open Access status: green
OpenAlex ID: W7208804927
FWCI:
Cites:
Cited by:
Related to: