On 7/11/2024 3:47 AM, John Clark wrote:
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.
A rock, along with many other things, can't pass a first grade
arithmetic test either; but that doesn't show that anything that can't
pass a first grade arithmetic test is unintelligent or unconscious, as
for example an octopus or a 3yr old child.
Brent
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
<https://groups.google.com/d/msgid/everything-list/CAJPayv1faq%2BFXVrLv8_%3DQhNnspADRir3op7xBWBZo6ZXHFSA7w%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
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/a7f5c8ea-7168-4ae9-b8c2-fbde2ed4b742%40gmail.com.
