Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!mit-eddie!uw-beaver!blake!ogccse!littlei!omepd!intelob.biin.com!griff From: griff@intelob.biin.com (Richard Griffith) Newsgroups: comp.ai.neural-nets Subject: I've read this somewhere... Message-ID: Date: 30 Jan 89 18:54:59 GMT Sender: news@omepd.UUCP Distribution: comp Organization: BiiN, Hillsboro, Oregon Lines: 30 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. many thanks in advance, - griff ************************************************************************** * Richard E. Griffith * "Someday soon we'll stop to ponder - * * "griff" * What on Earth's this spell we're under? * * BiiN, Hillsboro Ore. * We made the grade, but still we wonder - * * (When are we getting * Who the Hell we are?" * * Our own Usenet node?) * - Styx "Grand Illusion" * ************************************************************************** * These opinions are mine only, `cuz nobody'd pay for drivel like this! * **************************************************************************