From: John K Clark (jonkc@att.net)
Date: Sun Sep 01 2002 - 13:26:28 MDT
Giu1i0 Pri5c0 writes
>Gödel said that his theorems prove
> that you can't in fact specify a formal system whose
> power is equal to your mind...
It's equally true of the mind of a robot. I can say "Robbie The Robot cannot
consistently assert this sentence" even though it is true, however Robbie
The Robot can say the same thing about me.
John K Clark jonkc@att.net
This archive was generated by hypermail 2.1.5 : Sat Nov 02 2002 - 09:16:37 MST