Name: Anonymous 2008-05-12 5:23
Task: For every program I, and program input X for I, determine whether the I halts.
Output: true or false whether the program I halts with input X
Output: true or false whether the program I halts with input X