Statement Halting problem Given a programme with an input . Does ever terminate? Solutions Theory Related problems