Re: Disproof of the Halting Problem's Conclusion

From: Peter Olcott (olcott_at_att.net)
Date: 07/14/04 

Date: Wed, 14 Jul 2004 02:04:38 GMT

> All we need for the proof is the _assumption_ that there might be a
> function which is able to determine correctly for every program P and
> input I if P halts on input I or not.
>
> Now you claim that WillHalt() i s able to perform that. But that
> assumption leads directly to a contradiction.
>
No it does not. You still have not bothered to read through
everything that I have said.
http://home.att.net/~olcott/halts.html

Read it very carefully so you are sure that you know
exactly what I am saying. Especially read the Bases
for Refutation section. This section was formed
specifically to address your "refutation".

Relevant Pages

  • Re: Alan Turings Halting Problem is Incorrect (FINAL PART)
    ... >> statement that proofs by contradiction should not be allowed, ... >this counter-example program halts is analytically impossible. ... People keep misinterpreting you as saying something smarter ... the counterexample program halts is *not* analytically impossible. ...
    (sci.logic)
  • Re: T Mark Hall -- Usenet Clod - ( was Re: A change of subject from NewInGo )
    ... While it may be fashionable for a philosopher to claim a refutation, ... I'm not merely saying that the folks I listed attempted a refutation, ... I listed are just as dead as Plato. ...
    (rec.games.go)
  • Re: Can returning a value change the value itself (in the Halting Problem)
    ... >> Many of the attempts at refuting my refutation of the Halting Problem ... In the case of LoopIfHalts, when you return a value to it changes ... If you tell it that it halts, it goes into an infinite loop. ... ENTIRELY DIFFERENT RESULT THAN REFRAINING ...
    (comp.theory)
  • Re: Can returning a value change the value itself (in the Halting Problem)
    ... >> Many of the attempts at refuting my refutation of the Halting Problem ... In the case of LoopIfHalts, when you return a value to it changes ... If you tell it that it halts, it goes into an infinite loop. ... ENTIRELY DIFFERENT RESULT THAN REFRAINING ...
    (sci.logic)
  • Re: after the logical refutation: what next?
    ... refutation that I offered a few days ago. ... hoping thereby saving the two statements from contradiction. ... the two incompatible statements about the simultaneity of the ... the proposition that the two car crashes are on the one hand ...
    (sci.physics.relativity)