Radical anti-realism, Wittgenstein and the length of proofs

DOI10.1007/s11229-008-9315-9zbMath1193.03007MaRDI 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-realism; Dummett; Wittgenstein; philosophy of logic; polynomial-time computability; surveyability of proofs

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

03F20: Complexity of proofs

Related Items

Game Semantics and the Manifestation Thesis, Stable Philosophical Systems and Radical Anti-realism

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