background the halting problem is a decision problem about properties of computer programs on a fixed turing complete model of computation ie all programs that can be written in some given programming language that is general enough to be equivalent to a turing machine the problem is to determine given a program and an input to the program whether the program will eventually halt when