Intensions, Church's Thesis, and the formalization of mathematics
From MaRDI portal
Publication:1109758
DOI10.1305/ndjfl/1093637644zbMath0656.03004OpenAlexW1964525083MaRDI QIDQ1109758
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
algorithmintensionalityformalizationconstructivityChurch's ThesisQuine's doctrineset-theoretical reductionism in mathematicsTuring machine program
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
ET and an infinitary Church's thesis ⋮ Mathematics as natural science ⋮ Topological models of epistemic set theory