Re: Foundation for a Formal Refutation of the Original Halting Problem?
From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/04/04
- Next message: Peter Olcott: "Re: Yet another Attempt at Disproving the Halting Problem"
- Previous message: Peter Olcott: "Re: Yet another Attempt at Disproving the Halting Problem"
- In reply to: Robert Low: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Next in thread: Daryl McCullough: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Daryl McCullough: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Robert Low: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 04 Aug 2004 01:10:36 GMT
"Robert Low" <mtx014@linux.services.coventry.ac.uk> wrote in message news:cep1qg$gnl$2@sunbeam.coventry.ac.uk...
>
> Peter Olcott <olcott@worldnet.att.net> wrote:
> Oh, who cares.
>
> Peter: do you believe that all languages (over a finite
> alphabet) are recursive (or not)?
>
> If so, why? (Or why not?)
>
> Do you believe that all recursively enumerable languages are
> recursive (or not)?
>
> If so, why? (Or why not?)
> --
> Rob. http://www.mis.coventry.ac.uk/~mtx014/
These points are tangential to the point that I am making.
Depending upon the eventual results of my current reasoning
(if I am successful), I might get to these points later.
- Next message: Peter Olcott: "Re: Yet another Attempt at Disproving the Halting Problem"
- Previous message: Peter Olcott: "Re: Yet another Attempt at Disproving the Halting Problem"
- In reply to: Robert Low: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Next in thread: Daryl McCullough: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Daryl McCullough: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Robert Low: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|