Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site mmintl.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: net.ai
Subject: Re: Re: A halting problem
Message-ID: <1040@mmintl.UUCP>
Date: Wed, 15-Jan-86 14:38:00 EST
Article-I.D.: mmintl.1040
Posted: Wed Jan 15 14:38:00 1986
Date-Received: Sun, 19-Jan-86 04:20:38 EST
References: <2175@aecom.UUCP> <2540002@csd2.UUCP> <2191@aecom.UUCP>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Organization: Multimate International, E. Hartford, CT
Lines: 21

In article <2191@aecom.UUCP> berger@aecom.UUCP (Micha Berger) writes:
>> []
>> > The human mind, on the other hand, given enough time an
>> > practice, can find an endless loop in any procedure.
>> 
>> Does the following procedure contain an endless loop?
>> 
>> for (each possible quadruple <a,b,c,n> of natural numbers,
>> 		in any systematic order)
>> 	if (a**n + b**n == c**n)
>> 		halt();
>> 
>
>Given 10^19 years, I think I could do it. (We said theoretically possible,
>not realistic (-:

Given 10^19 years, maybe you could.  Then again, maybe you couldn't.  The
only way to know for sure is to try it. :-)

Frank Adams                           ihpn4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108