Re: Some Simple Questions

From: G. Frege (no_spam_at_gmx.de)
Date: 03/21/05 

Date: Mon, 21 Mar 2005 20:54:50 +0100

On Mon, 21 Mar 2005 19:36:02 GMT, "W. Dale Hall" <mailtodhall@farir.com>
wrote:

>
> Were you going somewhere with all this?
>
Sure, he's raving against the paper "A Mechanical Proof of the
Unsolvability of the Halting Problem" (1982) by Boyer and Moore.

Source:
http://www.cs.utexas.edu/users/boyer/ftp/ics-reports/cmp28.pdf

*sigh*

F.

Relevant Pages

  • Re: Some Simple Questions
    ... he's raving against the paper "A Mechanical Proof of the ... :>> Unsolvability of the Halting Problem" by Boyer and Moore. ... :> formalization and derivation. ... :> describes: the construction of a formal proof of HP unsolvability. ...
    (sci.math)
  • Re: Some Simple Questions
    ... he's raving against the paper "A Mechanical Proof of the ... :>> Unsolvability of the Halting Problem" by Boyer and Moore. ... :> formalization and derivation. ... :> describes: the construction of a formal proof of HP unsolvability. ...
    (sci.logic)
  • Re: Some Simple Questions
    ... he's raving against the paper "A Mechanical Proof of the ... Unsolvability of the Halting Problem" by Boyer and Moore. ...
    (sci.logic)
  • Re: What is the Result from Invoking this Halt Function?
    ... provided you care about accuracy. ... the unsolvability of the halting problem is much ... >is simple ENOUGH that even Peter Olcott and Marc Conrad ...
    (sci.logic)
  • Re: Peter Olcotts Source of Confusion
    ... >unsolvability of the Halting Problem, ... >to track down exactly what the source of his confusion is. ... understand subtleties or because he was unable ... Godel's theorem and the unsolvability of the ...
    (sci.logic)