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.
_______________________________________________
GurpsNet-L mailing list <[email protected]>
http://mail.sjgames.com/mailman/listinfo/gurpsnet-l
