Mathematicians Who Reject Infinity: A Survey of Finitist Thought

The rejection of completed infinities in mathematics, though contrary to mainstream practice, has attracted serious proponents throughout modern mathematical history. From Leopold Kronecker's nineteenth-century battles with Georg Cantor to Doron Zeilberger's provocative "Opinions" published online today, a coherent tradition of finitist and ultrafinitist mathematics has persisted, questioning whether infinite sets, real numbers, and non-constructive proofs constitute legitimate mathematics. This report catalogs the major figures in this tradition, their specific philosophical positions, and their mathematical contributions.

The spectrum from finitism to ultrafinitism

Before examining individual mathematicians, understanding the philosophical distinctions is essential. Classical finitism accepts that every natural number has a successor (potential infinity) but rejects the existence of infinite sets as completed totalities. Strict finitism goes further, rejecting even potential infinity since computational resources are always finite. Ultrafinitism—the most extreme position—questions whether even very large finite numbers like 10^1000 genuinely exist, since they cannot be physically instantiated or computed.

These positions share a common ancestor in skepticism toward Cantor's set theory and non-constructive existence proofs, but differ dramatically in how far they push this skepticism. Some mathematicians moved between positions during their careers, while others maintained consistent stances throughout their lives.

Historical finitists and constructivists

Leopold Kronecker (1823–1891)

The originator of modern mathematical finitism, Kronecker is remembered for his dictum: "God made the integers; all else is the work of man." As Cantor's former teacher turned bitter opponent, Kronecker rejected irrational numbers, transcendental numbers, and the entire apparatus of set theory. He insisted that mathematical objects must be explicitly constructible in a finite number of steps—a position that made him, in retrospect, the intellectual forefather of both intuitionism and ultrafinitism.

Kronecker reportedly called Cantor a "corrupter of youth" and blocked his appointment to the University of Berlin. Despite this philosophical extremism, Kronecker made lasting contributions to algebraic number theory, including the Kronecker-Weber theorem and foundational work on the structure of finitely generated abelian groups. His 1887 paper "On the Concept of Number" remains a primary source for understanding early finitist thought.

L.E.J. Brouwer (1881–1966)

Luitzen Egbertus Jan Brouwer founded intuitionism, the most influential constructivist philosophy of mathematics. His core insight was that mathematics is a "languageless activity of the mind" arising from the perception of time—what he called the "primordial intuition of twoity." From this foundation, Brouwer derived revolutionary conclusions: the law of excluded middle (that every proposition is either true or false) fails for infinite domains, actual completed infinity is meaningless, and mathematical existence requires explicit mental construction.

In his 1908 paper "The Unreliability of the Logical Principles," Brouwer challenged the assumption that classical logic applies universally. His intuitionism became mathematically influential through his development of choice sequences—infinite sequences generated by free choice—which provided an alternative foundation for the continuum without Cantorian set theory.

Despite his philosophical radicalism, Brouwer made contributions to topology that remain cornerstones of mainstream mathematics, including the Brouwer fixed-point theorem and the topological invariance of dimension. This dual legacy—rejected philosophy but accepted theorems—characterizes many finitist mathematicians.

Hermann Weyl (1885–1955)

Weyl's philosophical evolution illustrates the tensions within constructivist thought. In his 1918 masterwork Das Kontinuum (The Continuum), he developed a predicativist reconstruction of analysis that avoided Cantorian infinities while preserving classical logic. The book demonstrated that much of analysis could be rebuilt on restricted foundations.

By 1920, Weyl had embraced Brouwer's more radical intuitionism, writing that classical analysis was "built on sand." But the "unbearable awkwardness" of strict constructivism eventually drove him back toward classical methods, though he retained philosophical reservations. As Weyl wrote: "The infinite is nowhere to be found in reality... Yet our principal result is that the infinite is nowhere to be found in reality."

Weyl's mathematical contributions—to differential geometry, gauge theory, Lie groups, and general relativity—ensured his influence regardless of which philosophical phase one emphasizes.

Errett Bishop (1928–1983)

Bishop's 1967 Foundations of Constructive Analysis demonstrated that constructive mathematics could be a practical, not merely philosophical, enterprise. Unlike Brouwer, Bishop avoided non-classical principles that contradict classical mathematics, creating a "common core" compatible with multiple foundational approaches.

His guiding principle was that "every mathematical theorem should have numerical meaning"—computational content that could, in principle, be extracted and executed. Bishop proved constructive versions of major theorems including Stone-Weierstrass, Hahn-Banach, and Lebesgue convergence, showing that mainstream analysis need not depend on completed infinities.

Other historical figures

Henri Poincaré (1854–1912) developed predicativism, arguing that impredicative definitions—where an object is defined in terms of a totality containing itself—cause the paradoxes of set theory. His "vicious circle principle" influenced Russell's type theory and remains foundational to predicativist mathematics.

Thoralf Skolem (1887–1963) developed primitive recursive arithmetic, the formal system most closely associated with Hilbert's finitist program. His 1923 paper established methods for avoiding quantification over infinite domains.

Arend Heyting (1898–1980), Brouwer's student, formalized intuitionistic logic in 1930, creating the Brouwer-Heyting-Kolmogorov interpretation of logical connectives that remains standard today.

Contemporary ultrafinitists

Alexander Yessenin-Volpin (1924–2016)

The founder of modern ultrafinitism, Yessenin-Volpin (also spelled Esenin-Volpin) took constructivist skepticism to its logical extreme. Not only did he reject infinite sets—he questioned whether very large finite numbers genuinely exist.

A famous anecdote from Harvey Friedman captures his position: when Friedman asked whether 2^1 exists, Yessenin-Volpin immediately said yes. For 2^2, he paused slightly before agreeing. For 2^3, the pause lengthened. He was prepared to always answer yes, but with delays proportional to the number's size—illustrating that confidence gradually diminishes for numbers beyond human comprehension.

The son of celebrated Russian poet Sergei Yesenin, Yessenin-Volpin spent six years in Soviet psychiatric hospitals for political dissent before emigrating to become a professor at Boston University. His 1961 paper "Le programme ultra-intuitioniste des fondements des mathématiques" sketched a program for proving the consistency of ZFC using ultrafinite methods.

Edward Nelson (1932–2014)

Princeton professor Edward Nelson pursued ultrafinitism within mainstream academia, combining it with serious technical work in mathematical logic, quantum field theory, and stochastic mechanics. His 1986 book Predicative Arithmetic developed arithmetic systems avoiding impredicative definitions.

Nelson's position was distinctive: he believed Peano arithmetic might be inconsistent. As he wrote: "I believe that we do not have certainty in mathematics. I believe that many of the things we regard as being established in mathematics will be overthrown."

In 2011, Nelson announced a proof that Peano arithmetic was inconsistent. Terence Tao and Daniel Tausk found an error, which Nelson acknowledged—but he continued believing arithmetic might be inconsistent until his death. His obituary noted he "worked constantly and joyfully in recent years on what he called the 'human fabrication' of a completed infinity: the inconsistency of contemporary mathematics."

Beyond philosophy, Nelson created Internal Set Theory, an elegant axiomatization of nonstandard analysis, and contributed to the Hadwiger-Nelson problem on the chromatic number of the plane.

Doron Zeilberger (b. 1950)

Rutgers professor Doron Zeilberger is perhaps the most vocal contemporary ultrafinitist, maintaining a website of "Opinions" (numbering over 170) that articulate his rejection of infinity with characteristic wit and provocation.

His position is uncompromising: "Infinity mathematics, to me, is something that is meaningless, because it is abstract nonsense." He denies even the Peano axiom that every integer has a successor, suggesting that the number axis is actually a "necklace" where numbers eventually wrap around to zero (integers modulo some inconceivably large prime).

Zeilberger interprets Gödel's incompleteness theorems and Cohen's independence results as reductio ad absurdum proofs that "anything to do with infinity is a priori utter nonsense." Where others see limitations on formal systems, Zeilberger sees confirmations that infinite mathematics is meaningless.

His mathematical credentials are impeccable: the Wilf-Zeilberger method for hypergeometric identities won him the AMS Steele Prize (1998), and he proved the alternating sign matrix conjecture. He famously credits his computer "Shalosh B. Ekhad" as co-author on papers, emphasizing his view that mathematics should be computational and finite.

Norman Wildberger (b. ~1957)

Australian mathematician Norman Wildberger developed Rational Trigonometry to avoid irrational numbers entirely. His system replaces distance with "quadrance" (distance squared) and angles with "spread," eliminating the need for real numbers in trigonometry.

Through his YouTube channel "Insights into Mathematics" (featuring over 200 videos in the "Math Foundations" series), Wildberger has reached a broad audience with his critiques of standard foundations. His position is blunt: "Real numbers are a religion" and "it's time to expel infinity from mathematics."

Wildberger argues that real numbers, defined as equivalence classes of Cauchy sequences, involve "gobbledegook" that mathematicians "politely swallowed" as students. His 2005 book Divine Proportions: Rational Trigonometry to Universal Geometry presents his alternative approach, and recent work (2025) addresses solving polynomial equations without radicals.

Unlike some ultrafinitists, Wildberger engages primarily with pedagogical and foundational concerns rather than technical metamathematics—making him influential among students questioning standard curricula.

Related figures and schools

Russian constructivism

Andrey Markov Jr. (1903–1979), son of the probabilist, founded the Soviet school of constructive mathematics based on recursion theory. Unlike Brouwer's mentalist approach, Markov constructivism accepts Church's thesis (that computable functions are precisely Turing-computable) and Markov's principle (if it's impossible that an algorithm doesn't terminate, then it terminates). His Markov algorithm became fundamental to theoretical computer science.

Predicativism and proof theory

Solomon Feferman (1928–2016) extended predicativist mathematics by iterating Weyl's strategies into the transfinite. His major claim—that "all of scientifically applicable analysis can be developed predicatively"—suggests that mainstream mathematics' reliance on impredicative definitions may be eliminable in principle.

Strict finitism and feasibility

Rohit Parikh (b. 1936) introduced the concept of feasible numbers in his 1971 paper "Existence and Feasibility in Arithmetic," founding the study of bounded arithmetic. Samuel Buss (b. 1957) developed this into theories characterizing complexity classes like P and PSPACE—bridging foundations of mathematics with computational complexity.

Jean Paul Van Bendegem (b. 1953), philosopher at Vrije Universiteit Brussel, is the leading contemporary advocate and historian of strict finitism, maintaining that it represents "a viable alternative in the foundations of mathematics."

Alternative approaches

Petr Vopěnka (1935–2015) created Alternative Set Theory, which reverses ultrafinitism by modeling the finite within the infinite through "semisets"—vague parts of sets limited by a horizon.

Reuben Goodstein (1912–1985), a student of Wittgenstein, developed finitist reconstructions of analysis and proved Goodstein's theorem—among the earliest examples of statements unprovable in Peano arithmetic but provable in stronger systems.

Conclusion: A persistent minority tradition

The finitist tradition represents a sustained challenge to mainstream mathematical foundations, though it remains a minority position. What unites these mathematicians is not a single technical program but a shared skepticism: that completed infinities, non-constructive existence proofs, and the real number continuum may be intellectual conveniences rather than mathematical realities.

Several observations emerge from this survey. First, finitist views have attracted mathematicians of unquestionable ability—Brouwer's fixed-point theorem, Weyl's contributions to physics, Zeilberger's combinatorics—suggesting these positions cannot be dismissed as mathematical incompetence. Second, the advent of computer science has given new life to finitist concerns: questions of computational feasibility and bounded resources connect naturally to ultrafinitist themes. Third, the tradition shows remarkable persistence: despite being marginalized after Hilbert's victory over Brouwer in the 1920s "Grundlagenstreit," it continues producing new figures and ideas.

A Columbia University conference in April 2025—"Ultrafinitism: Physics, Mathematics, & Philosophy"—brought together figures like Zeilberger, Parikh, and Joel David Hamkins, suggesting renewed academic interest. Whether ultrafinitism represents deep insight or philosophical confusion, its persistence demonstrates that foundational questions remain genuinely open, even in mathematics.