Radical anti-realism, Wittgenstein and the length of proofs (Q2268776): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-008-9315-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2077318252
@@ Property / OpenAlex ID: W2077318252 / rank @@
+Normal rank
@@ Property / cites work @@
+A new “feasible” arithmetic
@@ Property / cites work: A new “feasible” arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Cycling in proofs and feasibility
@@ Property / cites work: Cycling in proofs and feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Making proofs without Modus Ponens:  An introduction to the combinatorics and complexity of cut elimination
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Feasibility in logic
@@ Property / cites work: Feasibility in logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Bolzano's alleged explicativism
@@ Property / cites work: On Bolzano's alleged explicativism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968902
@@ Property / cites work: Q3968902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundational delineation of poly-time
@@ Property / cites work: A foundational delineation of poly-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950491
@@ Property / cites work: Q4950491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269117
@@ Property / cites work: Q4269117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404018
@@ Property / cites work: Q3404018 / rank @@
+Normal rank
@@ Property / cites work @@
+A term of length 4 523 659 424 929
@@ Property / cites work: A term of length 4 523 659 424 929 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the idea of a general proof theory
@@ Property / cites work: On the idea of a general proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in Anti-Realism
@@ Property / cites work: Undecidability in Anti-Realism / rank @@
+Normal rank
@@ Property / cites work @@
+Balzano's theory of ground and consequence
@@ Property / cites work: Balzano's theory of ground and consequence / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank