On Sat, Apr 21, 2018 at 08:08:50PM -0400, John Clark wrote: > On Sat, Apr 21, 2018 at 6:15 PM, Russell Standish <li...@hpcoders.com.au> > wrote: > > > > > *Yes, of course a Loebian machine is a type of Turing machine.* > > > 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. Not all Turing machines are capable of that, even universal machines absent the right software. But I may have misunderstood this :). > > > > ** > > > > > > *The question I want to ask is has Hod Lipson built a Loebian machine in > > physical matter?* > > > 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. Of course this claim is bound to be controversial. Regardless, I'm curious as to the relationship between that and Loebianity. -- ---------------------------------------------------------------------------- Dr Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Senior Research Fellow hpco...@hpcoders.com.au Economics, Kingston University http://www.hpcoders.com.au ---------------------------------------------------------------------------- -- 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.
