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 <mar...@ulb.ac.be > <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 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.
