Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site lanl.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!whuxl!whuxlm!akgua!gatech!seismo!cmcl2!lanl!hp
From: hp@lanl.ARPA
Newsgroups: net.ai
Subject: Re: A halting problem
Message-ID: <36495@lanl.ARPA>
Date: Mon, 13-Jan-86 16:49:56 EST
Article-I.D.: lanl.36495
Posted: Mon Jan 13 16:49:56 1986
Date-Received: Wed, 15-Jan-86 03:11:24 EST
References: <2175@aecom.UUCP> <1051@utcs.uucp>
Distribution: net
Organization: Los Alamos National Laboratory
Lines: 7

The computer algebra SMP includes a solution to the halting problem.
Something like halt(progname).  (I can't find an SMP manual nearby.)
If the program halts, it returns true.
If SMP doesn't answer, you can assume that the program has
an infinite loop.  Be patient!

	...Akkana