Dummett's case for intuitionism

DOI10.1080/01445348408837069zbMath0549.03006OpenAlexW2020914516WikidataQ58439310 ScholiaQ58439310MaRDI QIDQ3342527

John P. Burgess

Publication date: 1984

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348408837069

zbMATH Keywords

intuitionistic logictheory of meaning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Related Items

Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why propositions cannot be sets of truth-supporting circumstances
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• The rejected parts of Brouwer's dissertation on the foundations of mathematics
• The wave equation with computable initial data such that its unique solution is not computable
• The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
• A computable ordinary differential equation which possesses no computable solution
• Meaning and proofs: on the conflict between classical and intuitionistic logic