Variations on a thesis: intuitionism and computability

DOI10.1305/NDJFL/1093637648MaRDI QIDQ1102263zbMATH OpenOpenAlexFDO

Authors Charles McCarty

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637648

zbMATH Keywords

intuitionismChurch's thesismental objects

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic mathematics and realizability in the physical world
• Godel's interpretation of intuitionism
• scientific article; zbMATH DE number 51606
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• scientific article; zbMATH DE number 733403

Cited in

(8)

• scientific article; zbMATH DE number 733403 (Why is no real title available?)
• Realizability with a local operator of A. M. Pitts
• Erratum to ``Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes.
• An analysis of Tennenbaum's theorem in constructive type theory
• Basic subtoposes of the effective topos
• Intuitionistic mathematics and realizability in the physical world
• The Herbrand topos
• Structures and logics: a case for (a) relativism

This page was built for publication: Variations on a thesis: intuitionism and computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102263)