On Thu, Jul 11, 2024 at 2:08 AM Brent Meeker <[email protected]> wrote:
>> That [*lack of a multiply operation*] would be no problem as long as the >> AI still had the addition operation, just do repeated additions, although >> it would slow things down. But you could start removing more and more >> operations until you got all the way down to First Order Logic, and then an >> AI could actually prove its own consistency. Kurt Godel showed that a few >> years before he came up with this famous incompleteness theorem in what we >> now call Godel's Completeness Theorem. His later Incompleteness Theorem >> only applies to logical systems powerful enough to do arithmetic, and you >> can't do arithmetic with nothing but first order logic. The trouble is you >> couldn't really say an Artificial Intelligence was intelligent if it >> couldn't even pass a first grade arithmetic test. > > > *> There are many levels of intelligence. An octopus can't pass a first > grade arithmetic test but it can escape thru a difficult maze* > Claude Shannon, the father of information theory, made a computerized mouse way back in 1951 that was able to escape a difficult maze. It was a big advance at the time, if the term had been invented, some would've called it Artificial Intelligence. However these days nobody would call something like that AI; one of the many reasons why is that it couldn't pass a first grade arithmetic test. See what's on my new list at Extropolis <https://groups.google.com/g/extropolis> mey -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv1faq%2BFXVrLv8_%3DQhNnspADRir3op7xBWBZo6ZXHFSA7w%40mail.gmail.com.
