Radical anti-realism, Wittgenstein and the length of proofs (Q2268776)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Radical anti-realism, Wittgenstein and the length of proofs |
scientific article |
Statements
Radical anti-realism, Wittgenstein and the length of proofs (English)
0 references
9 March 2010
0 references
philosophy of logic
0 references
anti-realism
0 references
Wittgenstein
0 references
Dummett
0 references
polynomial-time computability
0 references
surveyability of proofs
0 references
0 references
