Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!bbn!bbn.com!aboulang From: aboulang@bbn.com (Albert Boulanger) Newsgroups: comp.ai.neural-nets Subject: Re: I've read this somewhere... Message-ID: <35410@bbn.COM> Date: 31 Jan 89 21:08:12 GMT References: <9122@burdvax.PRC.Unisys.COM> Sender: news@bbn.COM Reply-To: aboulanger@bbn.com Distribution: comp Lines: 33 In-reply-to: pastor@bigburd.PRC.Unisys.COM's message of 31 Jan 89 17:14:32 GMT In article griff@intelob.biin.com (Richard Griffith) writes: > >I seem to recall reading something like the following.... > > some researchers in neural-networking have created a [net|language| >system|...] which was fed the equivilancy of the basis for mathmetical >set theory, within a short time (read < 1 day) the system completed the >formation of all algebraic theorems, and was going on to calculus.... > > > Someone here at work would like to know where I read that, but being a >bit of a sensationalist (I know, I know, get your facts straight :-^) I >have forgotten where I read about that particular project. I was hoping >someone out there might shed some light on that subject, so I can pass >*accurate* info onto my interested co-worker. > > I know of one neural-net reference that did number-theoretic discovery stuff: "An Associative Hierarchal Self-Organizing System" Barry R. Davis, IEEE Trans. Systems, Man, & Cybernetics, SMC-15, No. 4, July/August 1985, pp 570-579. He uses some ideas developed by Stuart Geman. Albert Boulanger BBN Systems & Technologies Corp. aboulanger@bbn.com