[gurps] Failing autopilots and RVO

[Anthony Jackson]

Onno Meyer 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 you're going to provide proof, you necessarily use an algorithm. Note 
that certain types of unsolvable problems are only unsolvable from 
within the system being analyzed, which means an _external_ computer may 
be able to determine whether a given program will halt when the computer 
that the program will run on cannot. This exception also applies to a 
human analyzing a computer program -- because he's external, he can 
solve problems that the computer cannot solve for itself.