Path: 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

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