[gurps] Failing autopilots and RVO

[Travis Watkins]

While there is a proof that no single process(human or machine) can
solve the halting problem for all programs, there are both
Completeness proofs(human) and automated heuristics(computer) that
work on a variety of programs to prove that that particular program
will halt.

I do not see how there is any part of this theorem that is relevant to
the question at hand as to if current AI is 'real' AI or if the
current approaches will lead us to 'real' AI.

I would put forth that if there is as much time and effort creating
and developing a digital intelligence as there is put in to a given
human, that digital intelligence could perform it's designated task as
well or better than the trained human assuming the human does not have
an unusual aptitude.
(every thing from early motor and sensory development through higher education).

There may or may not be enough processing power to allow that digital
intelligence to perform at full effectiveness, but that is just a
matter of hardware, not any particular development or insight.

On Wed, Mar 4, 2009 at 12:16 PM, Onno Meyer <Onno.Meyer at gmx.de> wrote:
> Travis replied to me:
>> I see no reason that the proof is only for machines, it also applies
>> to methods or procedures that involve one or more people.
>
> If those people follow an algorithm. Humans can decide not to
> do that. If computers deviate from their program, that must be
> programmed to start with.
>
>> If you require a solution to the halting problem as a proof of
>> intelligence, then I can easily prove that intelligence cannot exist
>> by your definition.  I would consider that proof to be sufficient to
>> make your definition useless.
>
> I think the halting problem is just one example for a class of
> problems where computers (as we know them) fail and humans can
> succeed (or not). There may be AIs in the future, but I don't
> believe they will be based on the same principles as chess or
> go programs today.
> _______________________________________________
> GurpsNet-L mailing list <GurpsNet-L at sjgames.com>
> http://mail.sjgames.com/mailman/listinfo/gurpsnet-l
>



-- 
The man that holds fast to his bitterness will eventually be consumed
by it, but if you let it go, your arms will be free to seize the glory
that is life.
-Terwin