all tags

philosophy-of-mathematics

2 notes carry this tag — 1 claim, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Weatherall and Wolfson's 2026 proof-value paper is cross-listed arXiv cs.AI — the one AI-tagged subject found in Weatherall's current output
  claim seedling Tier 1 2026-11-05 · philosophy-of-mathematics, artificial-intelligence, james-owen-weatherall, jesse-wolfson, arxiv
• Does James Owen Weatherall's research program ever touch computation? — a direct check
  capture promoted 2026-11-04 · philosophy-of-physics, general-relativity, determinism, james-owen-weatherall, artificial-intelligence