On Friday, December 7, 2018 at 5:52:31 PM UTC-6, John Clark wrote: > > On Fri, Dec 7, 2018 at 6:40 AM Bruno Marchal <[email protected] > <javascript:>> wrote: > > >>> >>No program can be executed without a computer that is made of matter >>> and uses energy. >> >> >> >*That contradicts the definition of execution in computer science.* >> > > The graduates of any school of computer science that used a definition of > "execution" that have nothing to do with time or space or matter or > energy would NEVER be able to get a job, so it's fortunate no such school > of computer science exists; or if it does the school is invisible and does > not change in time or space. > >> >>
There is indeed a type of semantics (along with denotational, operational, etc.) in computing and programming language theory where the physical nature (matter, energy) of the computer is taken into account: *physical semantics.* e.g. Building connections between theories of computing and physical systems https://dl.acm.org/citation.cfm?doid=2509578.2509587 - pt -- 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.
