Skip to main content

Gödel's theorem, Church's theorem, and mechanism

This is a preview of subscription content, access via your institution.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00634578