Ultrafinitism rejects infinity and extremely large numbers as physically unverifiable, producing fringe but increasingly examined alternatives to standard math foundations.
Key Takeaways
Doron Zeilberger argues calculus and arithmetic can be rebuilt without infinity, with computers as proof of concept for finite-only math.
Ultrafinitism lacks a formal unified theory, which is the core reason it stays on the fringe, not logical refutation.
Alexander Esenin-Volpin’s 1960s-70s work framed number existence as resource-bounded: if a number cannot be constructed given real constraints like time or memory, it may not exist.
Edward Nelson’s 1976 reformulation showed arithmetic axioms stripped of infinity are remarkably weak, exposing how load-bearing infinity is in standard foundations.
A rare expert gathering convened in April 2025 to explore ultrafinitist ideas, signaling slow but real philosophical momentum.
Hacker News Comment Review
Commenters broadly pushed back on conflating physical observability with mathematical existence; the axiom of infinity is logically independent and consistent, not empirically falsifiable.
The claim that “computers handle math just fine” without infinity drew sharp skepticism from practitioners familiar with IEEE 754 floating point edge cases.
Several commenters noted the vagueness problem, that ultrafinitism cannot specify a largest number, is a feature Esenin-Volpin embraced but critics see as fatal to formalization.
Notable Comments
@Ifkaluva: Points out that rejecting infinity is a claim about physical reality, not math logic; the axiom of infinity contradicts nothing in standard formalizations.
@12_throw_away: “computers handle math just fine – strong disagree” citing real-world IEEE 754 experience.
@krackers: Notes the article omits Norman Wildberger, a prominent math YouTuber who built accessible ultrafinite-style rational trigonometry covered previously on HN.
