Variations on a thesis: intuitionism and computability

DOI10.1305/ndjfl/1093637648zbMath0644.03002OpenAlexW2019264082MaRDI QIDQ1102263

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

Church's thesisintuitionismmental objects

Mathematics Subject Classification ID

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

Related Items (5)

Basic subtoposes of the effective topos ⋮ Structures and logics: a case for (a) relativism ⋮ Realizability with a local operator of A. M. Pitts ⋮ The Herbrand topos ⋮ The Herbrand topos

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