> On 1 May 2019, at 18:44, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/1/2019 2:15 AM, Bruno Marchal wrote: >> >>> On 29 Apr 2019, at 15:50, 'Cosmin Visan' via Everything List >>> <[email protected] >>> <mailto:[email protected]>> 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
