CSE 111, Fall 2004





"...all that a program [or a computer] can do between receiving an input and producing an output is to change variable assignments...", i.e., to change the contents of register cells.




--Thomason, Richmond H. (2003), "Dynamic Contextual Intensional Logic: Logical Foundations and an Application", in P. Blackburn et al. (eds.), CONTEXT 2003, Lecture Notes in Artificial Intelligence 2680 (Berlin: Springer-Verlag): 328–341; quote from p.328.


Copyright © 2004–2013 by William J. Rapaport (rapaport@buffalo.edu)
file: http://www.cse.buffalo.edu/~rapaport/111F04/thomasonquote.html-20131031