1. Costas Busch - RPI1 Decidability

2. Costas Busch - RPI2 Another famous undecidable problem: The halting problem

3. Costas Busch - RPI3 The Halting Problem Input:Turing Machine String Question: Does halt on input ?

4. Costas Busch - RPI4 Theorem: The halting problem is undecidable Proof:Assume for contradiction that the halting problem is decidable (there are and for which we cannot decide whether halts on input )

5. Costas Busch - RPI5 Thus, there exists Turing Machine that solves the halting problem YEShalts on doesn’t halt on NO

6. Costas Busch - RPI6 Input: initial tape contents Encoding of String YES NO Construction of

7. Costas Busch - RPI7 Construct machine : If returns YES then loop forever If returns NO then halt

8. Costas Busch - RPI8 NO Loop forever YES

9. Costas Busch - RPI9 Construct machine : Input: If halts on input Then loop forever Else halt (machine )

10. Costas Busch - RPI10 copy

11. Costas Busch - RPI11 Run machine with input itself: Input: If halts on input Then loop forever Else halt (machine )

12. Costas Busch - RPI12 on input If halts then loops forever If doesn’t halt then it halts : NONSENSE !!!!!

13. Costas Busch - RPI13 Therefore, we have contradiction The halting problem is undecidable END OF PROOF

14. Costas Busch - RPI14 Another proof of the same theorem: If the halting problem was decidable then every recursively enumerable language would be recursive

15. Costas Busch - RPI15 Theorem: The halting problem is undecidable Proof:Assume for contradiction that the halting problem is decidable

16. Costas Busch - RPI16 Let be a recursively enumerable language Let be the Turing Machine that accepts We will prove that is also recursive: we will describe a Turing machine that accepts and halts on any input

17. Costas Busch - RPI17 halts on ? YES NO Run with input reject accept reject Turing Machine that accepts and halts on any input Halts on final state Halts on non-final state

18. Costas Busch - RPI18 Thereforeis recursive But there are recursively enumerable languages which are not recursive Contradiction!!!! Since is chosen arbitrarily, every recursively enumerable language is also recursive

19. Costas Busch - RPI19 Therefore, the halting problem is undecidable END OF PROOF