> On 18 Apr 2019, at 19:34, 'Brent Meeker' via Everything List > <everything-list@googlegroups.com> wrote: > > > > On 4/18/2019 2:19 AM, Bruno Marchal wrote: >>> For >>> instance, without an observer to interpret a certain pile of atoms as >>> a machine, it is just a pile of atoms. >> Are you saying that Mars Rover cannot interpret some of its data on Mars, >> when nobody observed it, or are you saying that Mars Rover has enough >> observation abilities? >> > What makes the Mars Rover a machine is that it can act and react to its > environment.
Yes. And thanks to the fact that it is implemented in the physical reality (the sum on all computation), its reaction will fit with its most probable environnement, which is (by definition here) the physical environment. Just to be precise. > If it's an AI Rover it can learn and plan and reflect. An get the right reaction, whatever is the environment, hopefully not departing too much form the physical one. The “essence” of a computation is to be counterfactually correct. > To invoke an "observer" is just push the problem away to "What is an > observer?” But to define the physical reality, we need to define the observer. With mechanism, the observer is just a number/machine, relative to some other numbers/machines. We can define an ideal observer by a sound Löbian machine. Its physical reality will be determined by the logic of observation (mainly []p & <>t). Bruno > > Brent > > -- > 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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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.
