PVC
The Halting Problem
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)

Construction Info

Ship Status: Active
Ship Class: Battleship
Ship Configuration: H.A.R.V
Hull Material: Steel
Hull Type: Schwinn Suburban, Raleigh
Origin: Pennsylvania, Fort Spencer
Chief Engineer: magneato
Builder: magneato
Welder: Threespeed
Commission Date: 080705
Location: Fort Whitman
Speeds: 3
Navigational Retro: Side-pull Caliper
Missions: 9
Light Years: 109.4770
Class: Battleship 
Configuration: H.A.R.V 
Thrust Rating: 6.78 
Handling Rating: 2.34 
Difficulty Rating: 7.9