Radical anti-realism, Wittgenstein and the length of proofs

DOI10.1007/s11229-008-9315-9zbMath1193.03007OpenAlexW2077318252MaRDI QIDQ2268776

Mathieu Marion

Publication date: 9 March 2010

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9315-9

zbMATH Keywords

anti-realismDummettWittgensteinphilosophy of logicpolynomial-time computabilitysurveyability of proofs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Complexity of proofs (03F20)

Related Items

Game Semantics and the Manifestation Thesis ⋮ Stable Philosophical Systems and Radical Anti-realism ⋮ The later Wittgenstein's guide to contradictions ⋮ Philosophical pictures about mathematics: Wittgenstein and contradiction

Cites Work

• On the idea of a general proof theory
• A foundational delineation of poly-time
• Balzano's theory of ground and consequence
• A term of length 4 523 659 424 929
• Feasibility in logic
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• On Bolzano's alleged explicativism
• Why Gödel didn't have church's thesis
• Undecidability in Anti-Realism
• Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
• A new “feasible” arithmetic
• Cycling in proofs and feasibility
• Existence and feasibility in arithmetic
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item