On 23 Mar 2015, at 18:12, John Clark wrote:
On Sun, Mar 22, 2015 Bruno Marchal <[email protected]> wrote:
> We can't detect intelligence in machine, does not mean that
machine are not intelligent. We can't detect intelligence in human
too.
Thus Sarah Palin could be more intelligent than Albert Einstein, and
so in Bruno Marchal's continuing reformulation of the English
language "intelligence" joins "God" and "Christianity" and "Atheism"
as words that no longer have any meaning.
> John, I recall you that I suggest that the machine PA is already
intelligent
I'm trying to decode that statement but I'm having difficulty. My
first thought is Peano Axioms but that doesn't seem right.
It means Peano Arithmetic, a quite standard acronym in logic and
theoretical computer science.
Peano axioms + Peano rules of inference. Or if you prefer, a machine
which is a theorem prover of Peano.
This confirms you have not read the second part of sane04, which is
the PhD thesis in computer science.
Nor that you have any idea of Solovay theorem which axiomatize the
self-referential discourse of PA, ZF, etc.
Power Amplifier? Public Address? Prince Albert? Pennsylvania?
>> All I'm saying is that whatever method we use in judging the
intelligence of our fellow human beings, and we all do it every
waking hour of every day of our lives, we should use the same method
in judging machines.
> Oh, if that is *all* what you say, we do agree.
No we don't agree because you just said "We can't detect
intelligence in a human", and I can't detect any intelligence in
that statement.
Exercise: reread my posts and compare the definitions I have suggested
for intelligence and the one I gave of competence.
You persist in playing with words, and ignoring the work done.
Bruno
John K Clark
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
