Intensions, Church's Thesis, and the formalization of mathematics

DOI10.1305/NDJFL/1093637644zbMath0656.03004OpenAlexW1964525083MaRDI QIDQ1109758

Nicolas D. Goodman

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/1093637644

zbMATH Keywords

algorithmintensionalityformalizationconstructivityChurch's ThesisQuine's doctrineset-theoretical reductionism in mathematicsTuring machine program

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

ET and an infinitary Church's thesis ⋮ Mathematics as natural science ⋮ Topological models of epistemic set theory

This page was built for publication: Intensions, Church's Thesis, and the formalization of mathematics