On Sun, Apr 22, 2018 at 12:21 AM, Russell Standish <li...@hpcoders.com.au > wrote:
> >> How can I determine if that particular Turing Machine is doing >> something fundamentally different from what every other Turing Machine is >> doing? > > > >* I would say that it is a machine that proves Loeb's theorem.* A machine that could show that Loeb’s theorem was consistent with Zermelo–Fraenkel set theory plus the axiom of choice and its negation was not but could do nothing else would display no more general intelligence than a chess program or a checkers program or even a tic tac toe program. > *> Not all Turing machines are capable of that, even universal machines > absent the right software.* Without the right software a universal machine is not capable of doing anything, with the right software it can calculate anything that can be calculated including loeb’s theorem. > >> > >> There is no way I can ever know if Hod Lipson 's robots are self aware, I >> don't even know if Hod Lipson is self aware, all I know for sure is that >> both behave intelligently. > > > *His argument is that his robot is self-aware, for some operational > definition of self-aware.* If his definition is operational it must involve intelligent behavior, I don’t see how it could be otherwise. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
