Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!mgnetp!ihnp4!houxm!houxz!vax135!cornell!uw-beaver!tektronix!hplabs!sri-unix!dimare@UCLA-LOCUS.ARPA
From: dimare@UCLA-LOCUS.ARPA
Newsgroups: net.ai
Subject: An interesting implicit definition of intelligence
Message-ID: <282@sri-arpa.UUCP>
Date: Thu, 19-Jul-84 12:52:55 EDT
Article-I.D.: sri-arpa.282
Posted: Thu Jul 19 12:52:55 1984
Date-Received: Mon, 23-Jul-84 01:58:57 EDT
Lines: 19

From:  Adolfo Di-Mare <dimare@UCLA-LOCUS.ARPA>

The following is an even more intelligent program than the one described
in the Lure of AI. Any human being trying to figure it out will die blue
even for small values of n:

                n + 1                   m = 0
            /
AI(m,n) =  <    AI(m-1,1)               n = 0
            \
                AI(m-1,AI(m,n-1))       otherwise

        Adolfo
              ///

P.S.I  The A in the above definition stands for Artificial.  The I stands
       for Intelligence (it's easy when you know it).
P.S.II I couldn't come up with the Prolog version, which is far more
       intelligent.