Argument

Halting problem

Overview

problem of determining whether a given program will finish running or continue forever

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

Related ideas

• Computable function
• Alan Turing
• Effective method
• Kurt Gödel
• Lambda calculus
• Marvin Minsky
• Numeral system
• Natural number
• Reductio ad absurdum
• Probability
• Peano axioms
• Turing machine
• Computer scientist
• Computably enumerable set
• Emil Leon Post
• Springer Nature
• Human brain
• Alonzo Church
• Cantor's diagonal argument
• Rocq
• Computation
• Church–Turing thesis
• Turing degree
• Algorithm

Place in the tradition

Part of Outline of logic.

Explore Halting problem in the interactive graph →