Variations on a thesis: intuitionism and computability

DOI10.1305/NDJFL/1093637648zbMATH Open0644.03002OpenAlexW2019264082MaRDI QIDQ1102263FDOQ1102263

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

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

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)

Cited In (8)

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

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)