Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!ukc!stc!datlog!ajs From: ajs@datlog.co.uk ( Andy Simms ) Newsgroups: net.ai,net.philosophy Subject: Re: A halting problem Message-ID: <556@dlvax1.datlog.co.uk> Date: Wed, 22-Jan-86 13:16:11 EST Article-I.D.: dlvax1.556 Posted: Wed Jan 22 13:16:11 1986 Date-Received: Sun, 26-Jan-86 05:31:20 EST References: <2175@aecom.UUCP> <130@idacrd.UUCP> <493@hounx.UUCP> Reply-To: ajs@datlog.UUCP ( Andy Simms ) Organization: Data Logic Ltd, Greenford, London. Lines: 5 Xref: watmath net.ai:3217 net.philosophy:3941 Summary: Human infinite loops terminate In article <493@hounx.UUCP> kort@hounx.UUCP (B.KORT) writes: >The mind runs many infinite loops. Actually, the human mind doesn't run any infinite loops, unless you believe in the hereafter.