[The] amount of search is not a measure of the amount of intelligence being exhibited. What makes a problem a problem is not that a large amount of s… - Allen Newell

Heuristic Search Hypothesis. The solutions to problems are represented as symbol structures. A physical symbol system exercises its intelligence in problem solving by search—that is, by generating and progressively modifying symbol structures until it produces a solution structure.

With the hubris common to physicists, I have always felt that I have known what good science is — it is theory cast in terms of mechanisms that describe how parts of the universe behave. With sometimes immense historical delay, these mechanisms always move towards being grounded in the larger mechanistic view of the universe. Theories always propose a view of how the universe is. They can never be effectively argued to be true, but only be brought before the bar of empirical evidence. All the modern concern for contextualism, hermeneutics and the social determination of meaning has its point, but is a mere footnote to the massive evidence for this view of science. The overwhelming success within this framework of modern biology over the last half century has provided another major confirmation, if one is needed. Someday we will get another striking confirmation from cognitive science. Though it can be argued that we are well on our way, we still have an immense distance to go. Arguments are no match for the evidence that cognitive science does not control its subject the way physics, chemistry and now biology do.

Computer science is an empirical discipline. [...] Each new machine that is built is an experiment. Actually constructing the machine poses a question to nature; and we listen for the answer by observing the machine in operation and analyzing it by all analytical and measurement means available. Each new program that is built is an experiment. It poses a question to nature, and its behavior offers clues to an answer.