Cleland on Church

DOI10.4000/PHILOSOPHIASCIENTIAE.772zbMath1320.03020OpenAlexW1626596197MaRDI QIDQ5499645

François Lepage, Clayton Peterson

Publication date: 30 July 2015

Published in: Philosophia Scientae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4000/philosophiascientiae.772

zbMATH Keywords

Church's thesiscomputabilitylimits of computationCleland's argument

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Cleland on Church