[gurps] Failing autopilots and RVO

[Travis Watkins]

What was proven was that there is no method that will provide 100%
accuracy for solving the halting problem.  If the problem were
adjusted to allow an output other than yes or no, then it might be
possible, but you cannot have any method or procedure that will give a
simple yes or no answer that is always correct.

The proof only outlines a circumstance where neither Yes nor No can be
the correct answer.

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 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.

On Wed, Mar 4, 2009 at 10:16 AM, Onno Meyer <Onno.Meyer at gmx.de> wrote:
> Douglas replied to me:
>> > Part of intelligence are creativity and intuition. Those
>> > are hard to define and hard to test, and not every human
>> > displays them in equal measure, but when ONE AI brings a
>> > paradigm shift in science (on the level of Einstein or
>> > Darwin) or wins a Literature Nobel Prize, we are there.
>>
>> By that measure most of humanity including you (I would guess), don't
>> qualify as intelligent. Also creativity is a lot like the monti carlo
>> random function that fits the model. Intuition is just thinking that
>> you are not consciously aware of, nothing special.
>
> Monte Carlo is just one way to enumerate possible choices. If
> we assume that the monte carlo machine guesses right with the
> first try, it is a nondeterministic turing machine. Those can
> are equivalent to a deterministic turing machine as far as
> computability goes, and there are problems which TMs cannot
> solve (http://en.wikipedia.org/wiki/Halting_problem).
>
> I don't know if there is a human who CAN "solve the halting
> problem" with pen and paper, but there are fundamental reasons
> why computers as we know them can't.
>
>
> http://en.wikipedia.org/wiki/Halting_problem
> _______________________________________________
> 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