Re: Yet another Attempt at Disproving the Halting Problem

From: Chris Menzel (cmenzel_at_remove-this.tamu.edu)
Date: 08/01/04 

Date: 1 Aug 2004 03:54:49 GMT

On Sat, 31 Jul 2004 03:03:09 GMT, Peter Olcott <olcott@worldnet.att.net> said:
> see right here is another example! i only said not to report the
> result to the function being analyzed, and you leap to the stupid
> conclusion without ever paying any attention to what i am saying! i
> have posted exactly what i mean by this for several weeks. the address
> is not hard to remember its www.halting-problem.com how the hell do
> you expect to refute me if you don't even know what i am saying ???

No one has to read your silly bumbling at the URL noted to refute you.
You have claimed both that the proof of the halting problem is flawed
and also that you've solved the halting problem. Since the proof of the
haling problem is obviously sound (if you disagree, identify the flaw:
http://tinyurl.com/6ow6c), you are refuted, a priori. Your claims are
OBVIOUSLY false, and any reasoning in support of them OBVIOUSLY
confused.

Chris Menzel

Relevant Pages

  • Re: Yet another Attempt at Disproving the Halting Problem
    ... > result to the function being analyzed, and you leap to the stupid ... > you expect to refute me if you don't even know what i am saying ??? ... No one has to read your silly bumbling at the URL noted to refute you. ... You have claimed both that the proof of the halting problem is flawed ...
    (comp.theory)
  • Re: Basis for bypassing the Halting Problem ?
    ... No, that is not what she was saying, nor was it what I was saying. ... Like I already said, and you disagreed, it is only guessing. ... If the result of TheProgramHalts) is not Boolean, then the above example ceases to form the Halting Problem as long as the if-else has no way to definitely determine the meaning of the return value. ... It always guesses false for every Halt Analyzer return value. ...
    (comp.theory)
  • Re: Solution to the halting Problem?
    ... >> The authors misinterpretation of the halting problem seems to ... LoopIfHaltsto function does not refute this method. ... One single case where the security is not ... that causes the WillHaltmethod to fail, and then says that this is not ...
    (comp.lang.cpp)
  • Re: Basis for bypassing the Halting Problem ?
    ... No, that is not what she was saying, nor was it what I was saying. ... Like I already said, and you disagreed, it is only guessing. ... If the result of TheProgramHalts) is not Boolean, then the above example ceases to form the Halting Problem as long as the if-else has no way to definitely determine the meaning of the return value. ... It always guesses false for every Halt Analyzer return value. ...
    (comp.theory)