Thursday, January 17, 2013

"... were a quantum leap in the development of ..., a leap above the details of computation to a real of powerful abstract concepts. The power of these abstract concepts - ... - lies in their ability to capture general features of computation, so that the existence of particular computations can be proved or disproved without attempting to carry them out" (Stillwell)

No comments: