Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!eecae!netnews.upenn.edu!cattell.psych.upenn.edu!mmoore From: mmoore@cattell.psych.upenn.edu (Mike Moore) Newsgroups: comp.ai.neural-nets Subject: Re: I've read this somewhere... Message-ID: <582@cattell.psych.upenn.edu> Date: 31 Jan 89 18:00:41 GMT References: Reply-To: mmoore@cattell.psych.upenn.edu.UUCP (Mike Moore) Distribution: comp Organization: University of Pennsylvania Lines: 7 What you describe sounds vaguely like James Lenat's '78 Stanford dissertation on "AM". This system was not connectionist though, and didn't get as far as calculus, but it did "rediscover" some interesting theorem about primes.-- Mike Moore Computer Operations Manager, Psychology Department mmoore%psych@upenn.edu University of Pennslyvania (215) 898-2141