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