Re: Basis for bypassing the Halting Problem ?



On 2/8/2012 8:36 PM, Patricia Shanahan wrote:
On 2/8/2012 6:23 PM, Peter Olcott wrote:
...
The answer will be encrypted differently from run to run such that any
TM simulator would never know what the answer means. This prevents any
TM simulator from creating the Halting Problem.

Remember your TM is being run by a UTM, and the UTM has total control
over your TM's only input, the state of the tape at the start of the run.

Patricia

Sure, but, it still has no way to know what the output means, thus no way to create the Halting Problem.
The encryption method is specified with encrypted input.
.