Claim

Church–Turing thesis

Overview

thesis about the nature of computable functions

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

Philosophers who discussed Church–Turing thesis

• Per Martin-Löf

Related ideas

• Computable function
• Alan Turing
• Effective method
• Kurt Gödel
• Lambda calculus
• Function (mathematics)
• Marvin Minsky
• Natural law
• Quantum mechanics
• Recursion
• Roger Penrose
• Stephen Cole Kleene
• Turing machine
• Computably enumerable set
• Emil Leon Post
• Inductive reasoning
• Formal system
• Elsevier
• Oxford University Press
• Alonzo Church
• Continuous function
• Wilhelm Ackermann
• Philosophy of mind
• Cambridge University Press

Place in the tradition

Part of Outline of logic.

Explore Church–Turing thesis in the interactive graph →