The halting problem is a decision problem about properties of ships on
a fixed Touring-complete model of piloting. The question is, given a
ship and a mission the ship is on, whether the ship will eventually
halt when flown on that mission. In this abstract framework, there are
no resource limitations of memory or time on the ship\'s flight; it can
take arbitrarily long, and use arbitrarily much storage space, before
halting. The question is simply whether the given ship will ever halt
on a particular mission.
Theme song: Sex Machine by James Brown (picked by Magneato)