Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 4/3/85; site ukma.UUCP
Path: utzoo!watmath!clyde!cbosgd!ukma!drew
From: drew@ukma.UUCP (Andrew Lawson)
Newsgroups: net.philosophy,net.ai
Subject: Re: A Halting followup
Message-ID: <2470@ukma.UUCP>
Date: Fri, 17-Jan-86 12:25:29 EST
Article-I.D.: ukma.2470
Posted: Fri Jan 17 12:25:29 1986
Date-Received: Sat, 18-Jan-86 06:58:22 EST
References: <2190@aecom.UUCP>
Reply-To: drew@ukma.UUCP (Andrew Lawson)
Distribution: net
Organization: Univ. of KY Mathematical Sciences
Lines: 21
Xref: watmath net.philosophy:3797 net.ai:3180

In article <2190@aecom.UUCP> berger@aecom.UUCP (Micha Berger) writes:
>Supposing the procedure halt initiated a background process which
>periodically monitored the progress of the procedures, testing
>for a consistent pattern of execution and checking the stack for
>possible recursion.
>
>This is incredibly simplified, but isn't this basically what the
>human mind would do in the same situation?
>
>                                        -- Carl C. Hewitt

   This is roughly the same as saying that you can examine
the digits after the decimal in a number to see whether the
expansion terminates.  If a patern of repetition is found,
the expansion is infinite.  So, consider irrational numbers . . .


-- 
Drew Lawson

"Parts is parts."