Multiple Select Question

Select all that apply

Which of the statements below are true about the halting problem? Recall that the halting problem asks whether there can be a procedure that takes as input any computer program and any input to this program and determines whether when given this input the program will stop.

Multiple select question.

We can run a program and observe whether or not it halts when given input.

You can determine that no such procedure exists using a proof by contradiction.

Alan Turing was able to resolve the halting problem.

Alan Turing resolved the halting problem by building a special computer.