Newsgroups: comp.ai.alife,comp.ai.philosophy,comp.ai,alt.consciousness
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news3.near.net!noc.near.net!bigboote.WPI.EDU!news.mathworks.com!udel!gatech!swrinde!pipex!uknet!festival!castle.ed.ac.uk!cam
From: cam@castle.ed.ac.uk (Chris Malcolm)
Subject: Re: Thought Question
References: <3gvigc$g3h@nntp.Stanford.EDU> <D3L5M9.Gx4@cogsci.ed.ac.uk> <vlsi_libD3LpyC.158@netcom.com>
Message-ID: <D3rBqC.I1u@festival.ed.ac.uk>
Sender: news@festival.ed.ac.uk (remote news read deamon)
Organization: University of Edinburgh
Date: Thu, 9 Feb 1995 23:54:11 GMT
Lines: 16
Xref: glinda.oz.cs.cmu.edu comp.ai.alife:2331 comp.ai.philosophy:25400 comp.ai:27307

In article <vlsi_libD3LpyC.158@netcom.com> vlsi_lib@netcom.com (Gerard Malecki) writes:

>While programs written in prolog can do deductive
>inferences orders of magnitude faster than mathematicians, none has
>been able to come anywhere close to giving constructive proofs like
>for Fermat's theorem or Gleason's theorem, two of the many triumphs
>of the human mind. 

Just to give the AI people something to aim at, could you give us an
estimate of the number of man-hours it took the mathematical community
to prove Fermat's theorem?
-- 
Chris Malcolm    cam@uk.ac.ed.aifh          +44 (0)31 650 3085
Department of Artificial Intelligence,    Edinburgh University
5 Forrest Hill, Edinburgh, EH1 2QL, UK                DoD #205
"The mind reigns, but does not govern" -- Paul Valery
