Computational Platonism
Pith reviewed 2026-05-19 08:00 UTC · model grok-4.3
The pith
Mathematics is best understood as an experimental science where axioms are provisional inferences from computational experience rather than absolute truths.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience with the experiential substrate of mathematics which we locate within computation rather than encoding intuitive and absolute truths. This offers a reframing of Gödel's theorem, placing its impact sharply upon the incompleteness rather than the potentially contradictory nature of any computational set of axioms. The essay originated in an attempt to make precise the nature of mathematics in order to estimate how AI might impact it.
What carries the argument
The analogy between mathematical axioms and physical foundational theories, with computation serving as the experiential substrate for deriving and testing axioms.
If this is right
- Axioms can be revised or discarded based on new computational evidence, similar to how physical theories evolve.
- The focus in foundations shifts from seeking complete consistency to managing incompleteness in computational systems.
- Mathematical discovery gains an empirical dimension where computation supplies direct evidence for foundational choices.
- This perspective supplies a basis for assessing how artificial intelligence might generate or refine mathematical concepts through experimental means.
Where Pith is reading between the lines
- Computational experiments could serve as direct tests for proposed axioms, leading to their adoption or rejection in mathematical practice.
- The view may account for the effectiveness of computer-assisted proofs by rooting them in the computational character of mathematical experience.
- It suggests that large-scale computations will increasingly motivate new axioms in areas like number theory or set theory.
- Existing practices in experimental mathematics, where computation reveals patterns, could be reinterpreted as evidence-gathering for axiom inference.
Load-bearing premise
The premise that the experiential substrate of mathematics is located within computation, allowing axioms to be treated as provisional inferences from experience rather than encodings of intuitive or absolute truths.
What would settle it
A demonstration that mathematicians consistently derive and hold axioms from non-computational intuition or absolute principles, without reference to computational experience, would challenge the reframing.
read the original abstract
We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience with the experiental substrate of mathematics which we locate within computation rather than encoding intuitive and absolute truths. This offers a reframing of Godel's theorem, placing its impact sharply upon the incompleteness rather than the potentially contradictory nature of any computational set of axioms. The essay originated in an attempt to make precise the nature of mathematics in order to estimate how AI might impact it. This exploration is continued in the paired essay "The mechanical creation of mathematical concepts."
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper advances an interpretive philosophical position that mathematics should be viewed as an experimental science analogous to physics. Axioms are treated as provisional inferences drawn from experience with an experiential substrate located in computation, rather than as encodings of intuitive or absolute truths. This reframing is used to reposition Gödel's incompleteness theorem as primarily concerning incompleteness (rather than potential inconsistency) in computational axiom systems. The essay originated from an attempt to clarify the nature of mathematics in order to assess AI's potential impact.
Significance. If the proposed reframing is accepted, the paper contributes a distinctive computational lens to ongoing debates in the philosophy of mathematics, particularly by linking foundational questions to computational practice and AI-assisted discovery. The analogy between axiom selection and theory choice in physics offers a coherent alternative to traditional Platonist or formalist accounts, and the explicit motivation from AI-impact estimation provides a timely context. As a purely conceptual essay without formal derivations or empirical tests, its significance rests on the clarity and persuasiveness of the interpretive move rather than on predictive power or technical novelty.
major comments (1)
- [Abstract and opening sections] The central claim that the experiential substrate of mathematics is located within computation (and that axioms are therefore provisional inferences from that substrate) is asserted in the abstract and opening framing but receives no detailed defense or engagement with counterexamples from non-computational mathematical experience (e.g., geometric intuition or set-theoretic reflection). This assumption is load-bearing for the subsequent reframing of Gödel's theorem and requires explicit justification to support the analogy with physical theories.
minor comments (2)
- [Abstract] The abstract contains a typographical error: 'experiental' should read 'experiential'.
- [Introduction or discussion section] The manuscript would benefit from a brief discussion of how the proposed view differs from or extends existing computational philosophies of mathematics (e.g., those of Turing or contemporary formalists), to clarify its distinctive contribution.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and recommendation of minor revision. We respond to the single major comment below.
read point-by-point responses
-
Referee: [Abstract and opening sections] The central claim that the experiential substrate of mathematics is located within computation (and that axioms are therefore provisional inferences from that substrate) is asserted in the abstract and opening framing but receives no detailed defense or engagement with counterexamples from non-computational mathematical experience (e.g., geometric intuition or set-theoretic reflection). This assumption is load-bearing for the subsequent reframing of Gödel's theorem and requires explicit justification to support the analogy with physical theories.
Authors: We acknowledge that the manuscript presents the computational experiential substrate as a core premise without extensive engagement with counterexamples. The essay is intentionally concise and interpretive, with its primary aim being to reframe Gödel's theorem through the lens of computational practice rather than to mount a full defense of the underlying ontology. The computational focus is motivated by the paper's origin in estimating AI impact, as noted in the abstract and paired essay. That said, the referee's point is well taken: greater explicit justification would better support the physics analogy. In revision we will add a short paragraph in the opening sections that addresses geometric intuition and set-theoretic reflection, framing them as higher-order computational explorations (e.g., mental or diagrammatic computation of structures) rather than purely non-computational sources. This addition will clarify the assumption without changing the essay's scope or conclusions. revision: yes
Circularity Check
No significant circularity
full rationale
The paper is a philosophical essay reframing mathematics as an experimental science with axioms treated as provisional inferences from a computational experiential substrate. It contains no formal derivation chain, equations, fitted parameters, or predictions that reduce to inputs by construction. The central claims rest on conceptual analogy to physics and a reinterpretation of Gödel's theorem rather than any self-definitional step, self-citation load-bearing premise, or renaming of known results. The noted origin in AI-impact estimation supplies motivational context but does not function as a logical input that forces the reframing; the argument remains self-contained at the level of interpretive stance without hidden reductions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The experiential substrate of mathematics is located within computation.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.