> On 1 May 2019, at 18:44, 'Brent Meeker' via Everything List > <everything-list@googlegroups.com> wrote: > > > > On 5/1/2019 2:15 AM, Bruno Marchal wrote: >> >>> On 29 Apr 2019, at 15:50, 'Cosmin Visan' via Everything List >>> <everything-list@googlegroups.com >>> <mailto:everything-list@googlegroups.com>> wrote: >>> >>> Semantics means meaning, and meaning is something that exists in >>> consciousness. >> >> No problem with this. >> >> >> >>> You cannot use that for any "programming”. >> >> >> But computer science is in a large part the study between the relation >> between program and their semantics. The machine which relate the two is the >> universal machine. If my computer was unable to associate some semantic to a >> program, this mail would never been sent to you. > > Which illustrates that meaning is a relation to environments and actions.
Practically yes, but “of course”, theoretically, when assuming mechanism, there is no “ontologically material” environment, just long and complex histories/computations. The plausible stable environment is given by the statistics on the infinitely many computations (realised in arithmetic) going through our states. 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.