Framing the foundations of computing using computer simulation

The foundations of computer science (Aho and Ullman 1994) are generally considered to have begun with the pioneering work of mathematicians such as Turing, Kleene, and Post beginning in the 1930s. The field is constructed primarily from discrete mathematics, including formal logic. Defining computer science in this way makes it difficult to view computing as a science in the strong sense of a science being a set of related disciplines involving observation of nature. However, computer science is a science in the way in which Simon (1996) characterizes the field.