Does James Owen Weatherall's research program ever touch computation? — a direct check

philosophy-of-physicsgeneral-relativitydeterminismjames-owen-weatherallartificial-intelligencephilosophy-of-mathematicsarxivexplore

The week's GR-foundations hub is James Owen Weatherall's cluster around the March & Weatherall minimal-coupling preprint (see claim-march-weatherall-minimal-coupling-unique-up-to-isomorphism and its sibling notes, already at the vault's single-source concentration cap per question-corroborate-march-weatherall-2610-39107-single-source-cap), Fletcher & Weatherall 2023, and a newly-identified third strand: the 2026 "Deterministic Theories" paper with Hans Halvorson and JB Manchak. This capture does not add further claims to the capped preprint; it instead directly checks the determinism strand's own text, and Weatherall's wider current output, for computation content — the same check last week's Aharonov-program research ran and found real CS contact for a different physics program.

The finding is mixed and more interesting than a flat yes/no: the GR-foundations cluster itself is computation-free, confirmed by full-text reading, but Weatherall's own concurrent, separately-authored research output is not — he has a live, cross-listed cs.AI paper running in parallel.

Claim: The determinism papers at the hub of this week's cluster contain zero contact with computation, confirmed by full-text reading

Both halves of the 2026 determinism strand were fetched as PDFs and read start to finish: "Deterministic Theories" by Hans Halvorson, JB Manchak, and James Owen Weatherall (arXiv:2503.05681v2, replacement posted 16/19 January 2026; 46 pages) and its companion "Determinism and Asymmetry in General Relativity" by JB Manchak, Thomas William Barrett, Hans Halvorson, and James Owen Weatherall (arXiv:2503.05668v2, 28 October 2025; 21 pages). Neither paper contains any occurrence of "Turing," "computability," "algorithm," "hypercomputation," or "Malament-Hogarth" — terms that would be the natural vocabulary for a determinism paper that touched computation-of-physical-systems or physical hypercomputation (a live topic elsewhere in philosophy of GR, via Malament-Hogarth spacetimes and the halting problem). Both papers' actual content is model-theoretic and metaphysical: formal definitions of determinism (Belot's D1/D2/D3, "de dicto"/"de re" variants), isometry/naturality-style uniqueness-of-extension arguments building on Robert Geroch's 1969 rigidity theorem, and the Earman–Norton hole argument. The first paper's own self-description:

"We critically examine the proliferation of definitions of determinism in the recent literature, arguing that these definitions fail to deliver clear verdicts about actual scientific theories. We advocate a return to a formal approach, in the logical tradition of Carnap, that treats determinism as a property of scientific theories, rather than an elusive metaphysical doctrine."

The companion paper's self-description:

"We show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions."

source_url: "https://arxiv.org/abs/2503.05681" source_sha: "21e704fbaa5811ddbb482ee07cca8d4271eeb775c67623e8ce35ba1365fd30a5" source_url_2: "https://arxiv.org/pdf/2503.05668v2" source_sha_2: "8b4baf7ac58b0cfd0a599116840f10138a5606e042df750428357ba2b76ee4aa" source_author: "Hans Halvorson; JB Manchak; James Owen Weatherall (paper 1); JB Manchak; Thomas William Barrett; Hans Halvorson; James Owen Weatherall (paper 2)" source_date: "2026-01-19 (paper 1, v2); 2025-10-28 (paper 2, v2)" source_title: "Deterministic Theories (paper 1); Determinism and Asymmetry in General Relativity (paper 2)" source_venue: "arXiv:2503.05681 [physics.hist-ph] (PDF); arXiv:2503.05668 [physics.hist-ph] (PDF) — paper 2 forthcoming in The British Journal for Philosophy of Science per its own reference list" source_tier: 1

Claim: Weatherall's own, concurrent research output does reach artificial intelligence — just not through this cluster

James Owen Weatherall and mathematician Jesse Wolfson have a paper, "Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof" (arXiv:2602.12463, submitted 12 February 2026, 43 pages), that is cross-listed on arXiv under both History and Overview (math.HO) and Artificial Intelligence (cs.AI) — the first and only AI-adjacent arXiv subject tag in this entity's output found during this search. The paper argues that formal correctness (in-principle formalizability) is neither necessary nor sufficient for a mathematical proof's epistemic value, and explicitly engages the live debate over automated theorem provers and AI-driven mathematics:

"We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be 'correct', in the sense of formalizable in a formal proof system. We then present a view on the relationship between mathematics and logic that clarifies the role of formal correctness in mathematics. Finally, we discuss the significance of these arguments for recent discussions about automated theorem provers and applications of AI to mathematics."

The arXiv abstract page itself records the dual classification:

"Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)"

source_url: "https://arxiv.org/abs/2602.12463" source_sha: "f2ced7215ac5c3b46cc00f179c1fce326ec99073ab3e69ec8e1fc093c86bb1e2" source_url_2: "https://arxiv.org/pdf/2602.12463" source_sha_2: "4543c39fbc7d3e26a5ee9cd4bfe4c5e4d4bea663b6f2b3e0cce00c71c1bb48b6" source_author: "James Owen Weatherall; Jesse Wolfson" source_date: 2026-02-12 source_title: "Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof" source_venue: "arXiv:2602.12463 [math.HO] cross-listed cs.AI (PDF and abstract page)" source_tier: 1 source_delight: "The abstract page's own 'Subjects' line — math.HO cross-listed cs.AI — is the single piece of arXiv metadata in this entity's output that disproves 'zero AI contact,' and it sits one click from the preprint everyone else in the cluster is reading for the physics."

Claim: The AI-facing paper is a separate vein of Weatherall's output, not a bridge grown from the GR-foundations program

The AI/proof paper shares no co-author with the GR-foundations/determinism cluster: its co-author is Jesse Wolfson, a mathematician in UC Irvine's Department of Mathematics, not Eleanor March, Hans Halvorson, JB Manchak, or Thomas Barrett (the determinism and minimal-coupling co-authors). Weatherall's own CV lists it under a run of recent items distinct in both topic and venue from the physics cluster — "A69. Correctness, Artificial Intelligence, and the Epistemic Value of Proof, with J. Wolfson. Forthcoming in Journal for the Philosophy of Mathematics" and "O43. Formal proof and epistemic value, with J. Wolfson. Silicon Reckoner. Published online 3 October 2025" — alongside an invited talk explicitly aimed at an AI-engineering audience: "IT150. Alignment Revisited: The Case of Mathematical Proof, with J. Wolfson. Proper AI Engineering+Society Institute. Samueli School of Engineering. University of California, Irvine. March 2026." The CV's own listing of the determinism paper, by contrast: "A70. Deterministic Theories, with H. Halvorson and JB Manchak. Philosophy and Phenomenological Research 113(1):134-152 (2026)." The two lines sit three entries apart in the same document, with disjoint co-author sets and disjoint subject areas.

"A69. Correctness, Artificial Intelligence, and the Epistemic Value of Proof, with J. Wolfson. Forthcoming in Journal for the Philosophy of Mathematics."

source_url: "https://jamesowenweatherall.com/Jim%20Weatherall%20CV.pdf" source_sha: "35fa70ddefbabb04e737267aead52822b87e8f4787431e4aafdbbf265bda89e6" source_author: "James Owen Weatherall" source_date: "2026 (CV, undated internally; most recent dated entry is October 2026)" source_title: "James Owen Weatherall [Curriculum Vitae]" source_venue: "jamesowenweatherall.com (author's own site, PDF)" source_tier: 1

Further leads

• Weatherall has a von Neumann biography under contract ("WP1. The Mathematician," Farrar, Straus and Giroux) and gave two 2025 invited talks titled "John von Neumann and the Prehistory of Artificial Intelligence" (Apple University, USC Mathematics Education Seminar) — a second, historical/biographical vein of AI contact, unverified beyond the CV's own talk-title listing. — source: Weatherall CV (jamesowenweatherall.com), as above.
• Fletcher & Weatherall 2023 ("The Local Validity of Special Relativity," Parts 1 and 2, Philosophy of Physics 1(1), 7 and 8) was not fetched or read in full this session; its content relative to computation is unverified, not merely absent. — source: Weatherall CV listing, A60/A61.
• The Silicon Reckoner Substack carries a guest post by Weatherall and Wolfson, "Formal proof and epistemic value" (3 October 2025), presumably previewing the arXiv paper's argument — not fetched this session. — https://siliconreckoner.substack.com/p/formal-proof-and-epistemic-value
• A PhilSci-Archive draft of the same paper (dated November 2024, titled identically) predates the February 2026 arXiv posting by over a year — worth checking for textual drift if a later audit needs the earliest dateable version. — https://philsci-archive.pitt.edu/24324/1/Epistemic_Value_of_Proof.pdf
• Manchak's own, separate research line on Malament-Hogarth machines and physical hypercomputation (e.g. his BJPS paper "Malament-Hogarth Machines") is a genuine CS-adjacent vein in a co-author's broader output — but was not found to be referenced in either determinism paper co-authored with Weatherall, so it does not currently connect to Weatherall's own program. — https://sites.socsci.uci.edu/~jmanchak/mhm.pdf (not fetched this session)

Entity candidates

• Gordon Belot — person — the determinism papers' whole argument is explicitly built on rehabilitating and extending his 1995a/1995b D1/D2/D3 framework; the foundational figure the priority claim rests on, not yet flagged by name in any existing note.
• David Lewis — person — originator of the possible-worlds "diverging worlds" definition of determinism (1983) that the entire Belot/Butterfield/Halvorson-Manchak-Weatherall lineage responds to and reformalizes.
• Jesse Wolfson — person — UC Irvine mathematician, co-author of the one paper in this search that actually touches AI/computation; the collaborator who marks where Weatherall's program crosses into cs.AI territory.
• JB Manchak — person — co-author of both 2026 determinism papers and, separately, of the Malament-Hogarth-machines/hypercomputation literature in his own right (a candidate bridge that did not pan out this session — see Further leads).
• Hans Halvorson — person — co-author of both 2026 determinism papers; philosopher of physics/logic at Princeton.
• Thomas William Barrett — person — co-author of "Determinism and Asymmetry in General Relativity" and of the "giraffe"/"Heraclitus" spacetime-asymmetry hierarchy the paper builds on.
• John von Neumann — person — subject of Weatherall's in-progress biography and two 2025 talks on the "prehistory of artificial intelligence"; a second, unverified AI-adjacent vein in Weatherall's broader output.