Church's Thesis and Principles for Mechanisms

This publication has 9 references indexed in Scilit:

• Computation Over Abstract Structures: Serial and Parallel Procedures and Friedman's Effective Definitional Schemes
  Published by Elsevier ,1975
• A notion of mechanistic theory
  Synthese, 1974
• An algebraic characterization of groups with soluble word problem
  Journal of the Australian Mathematical Society, 1974
• Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)
  Transactions of the American Mathematical Society, 1974
• Mathematical Games
  Scientific American, 1970
• On the definition of an algorithm
  American Mathematical Society Translations: Series 2, 1963
• Subgroups of finitely presented groups
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1961
• On Computable Numbers, with an Application to the Entscheidungsproblem
  Proceedings of the London Mathematical Society, 1937
• Finite combinatory processes—formulation
  The Journal of Symbolic Logic, 1936