Method

Effective method

Overview

In metalogic, mathematical logic, and computability theory, an effective method or effective procedure is a finite-time, deterministic procedure for solving a problem from a specific class. An effective method is sometimes also called a mechanical method or procedure. Functions for which an effective method exists are sometimes called effectively calculable.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Effective method

• Evert Willem Beth

Related ideas

• Computable function
• Creativity
• Computability theory
• Mathematical logic
• Turing machine
• Metalogic
• Rigour
• Church–Turing thesis
• Algorithm

Place in the tradition

Part of Outline of logic.

Explore Effective method in the interactive graph →