Effective method

In logic, mathematics and computer science, especially metalogic and computability theory, an effective method[1] or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class.[2] An effective method is sometimes also called a mechanical method or procedure.[3]

  1. ^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971
  2. ^ Gandy, Robin (1980). "Church's Thesis and the Principles for Mechanisms". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. 101: 123–148. doi:10.1016/S0049-237X(08)71257-6. ISBN 978-0-444-85345-5. Retrieved 19 April 2024.
  3. ^ Copeland, B.J.; Copeland, Jack; Proudfoot, Diane (June 2000). "The Turing-Church Thesis". AlanTuring.net. Turing Archive for the History of Computing. Retrieved 23 March 2013.