Re: Halting Problem Solved! Film at 11! (Was Re: definitions)

Article View: comp.lang.misc

Article #3978

#3978

From: CNEWS MUST DIE!
Date: Wed, 15 May 1991 11:00

15 lines
761 bytes

jallen@csserv2.ic.sunysb.edu (Joseph Allen) writes:
[ On solving the halting problem: ]
>
> No, it can be done!  Really!  Just don't allow loops, gotos or recursion.

Or I/O.

> Now who wants to write a compiler in a language with these restrictions?

More importantly, who wants to use it?


mathew

Technical Details

Message-ID: <P3iZ21w164w@mantis.co.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!mcsun!ukc!slxsys!ibmpcug!mantis!mathew

References: <1991May14.054813.18427@sbcs.sunysb.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!mcsun!ukc!slxsys!ibmpcug!mantis!mathew
From: mathew@mantis.co.uk (CNEWS MUST DIE!)
Newsgroups: comp.lang.misc
Subject: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
Message-ID: <P3iZ21w164w@mantis.co.uk>
Date: 15 May 91 11:00:00 GMT
References: <1991May14.054813.18427@sbcs.sunysb.edu>
Organization: Mantis Consultants, Cambridge. UK.
Lines: 15

Reply to Parent Message