Category:Halt

This category contains results about Halt.
Definitions specific to this category can be found in Definitions/Halt.

A program $P$ set up to solve a problem is said to halt if and only if either of the following is the case:

$(1) \quad P$ solves the problem

$(2) \quad P$ determines that the problem cannot be solved.