Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Smart, J.J.C. Gödel's theorem, Church's theorem, and mechanism. Synthese 13, 105–110 (1961). https://doi.org/10.1007/BF00634578
Issue Date:
DOI: https://doi.org/10.1007/BF00634578