Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)

From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 07/10/04 

Date: Sat, 10 Jul 2004 04:16:43 -0500

On Sat, 10 Jul 2004 05:24:32 GMT, "Peter Olcott"
<olcott@worldnet.att.net> wrote:

>
>> >> >Providing the answer of Halting / Not Halting as a critique
>> >> >of the program from an infinite set of possible critiques,
>> >> >and then encrypting this critique before returning it as
>> >> >a result would make it infeasible/impossible (depending
>> >> >on the strength of the encryptation) for the counter-example
>> >> >program to thwart the WillHalt() function.
>>
>> I did get something out of this looking at it again just now:
>> The first time I looked at it I hadn't seen your other posts
>> where you mentioned "encryptation", so I assumed it was just
>
>There is such a word in the Random House unabridged dictionary
>1993, and it means the same thing as encryption.

Yes, it appears you're right about that. Silly me,
assuming that just because you don't know the difference
between who and whom and the difference between it's and
its this must be a non-word.i

>> a typo. Seeing it again here I gather you must think there
>> actually is such a word. There isn't. (If there were such
>> a thing as "encryptation", the idea that it had something
>> to do with the halting problem would be exquisitely silly,
>> for reasons noted above.)
>>
>>
>> ************************
>>
>> David C. Ullrich
>

************************

David C. Ullrich

Relevant Pages

  • Re: Peanos space-filling curve
    ... I've replied to four posts in one to save space and time. ... David C. Ullrich wrote in message ... I have difficulty with 'separate' applied to ordered reals. ...
    (sci.fractals)
  • Re: Peanos space-filling curve
    ... I've replied to four posts in one to save space and time. ... David C. Ullrich wrote in message ... I have difficulty with 'separate' applied to ordered reals. ...
    (sci.math)
  • Re: JSH: How easy? Wiless works flaw
    ... > David C. Ullrich wrote: ... > I normally ignore Ullrich's posts as, ... > Not a word of defense for professors at a school part of the system ...
    (sci.math)
  • Re: Question about Lebesque Integral
    ... You got several replies the first time you posted this question. ... David C. Ullrich ... Prev by Date: ...
    (sci.math)
  • Re: Alan Turings Halting Problem is Incorrect (FINAL PART)
    ... > The first time I looked at it I hadn't seen your other posts ... > to do with the halting problem would be exquisitely silly, ... > David C. Ullrich ...
    (sci.logic)