Intensions, Church's Thesis, and the formalization of mathematics
From MaRDI portal
Publication:1109758
DOI10.1305/ndjfl/1093637644zbMath0656.03004MaRDI 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
algorithm; intensionality; formalization; constructivity; Church's Thesis; Quine's doctrine; set-theoretical reductionism in mathematics; Turing machine program
Related Items
Topological models of epistemic set theory, ET and an infinitary Church's thesis, Mathematics as natural science