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.
.



Relevant Pages

  • Re: Basis for bypassing the Halting Problem ?
    ... TM simulator would never know what the answer means. ... TM simulator from creating the Halting Problem. ... The encryption method is specified with encrypted input. ...
    (comp.theory)
  • Re: Basis for bypassing the Halting Problem ?
    ... TM simulator would never know what the answer means. ... TM simulator from creating the Halting Problem. ... The encryption method is specified with encrypted input. ...
    (comp.theory)
  • Re: Basis for bypassing the Halting Problem ?
    ... TM simulator would never know what the answer means. ... TM simulator from creating the Halting Problem. ... Also if we do not require the tape to be completely erased after every invocation, then the TM can encrypt its output differently every time. ... true/false answer to the question "Does this computation halt" from the ...
    (comp.theory)
  • Re: Basis for bypassing the Halting Problem ?
    ... TM simulator would never know what the answer means. ... TM simulator from creating the Halting Problem. ... Also if we do not require the tape to be completely erased after every invocation, then the TM can encrypt its output differently every time. ... true/false answer to the question "Does this computation halt" from the ...
    (comp.theory)
  • Re: Basis for bypassing the Halting Problem ?
    ... TM simulator would never know what the answer means. ... TM simulator from creating the Halting Problem. ... The encryption method is specified with encrypted input. ... A string of characters would specify the method used to encrypt the output. ...
    (comp.theory)