Questions To Ask About Computational Processes

• How do we describe or specify them?
  • Formal languages

• How do we prove that a process has a particular effect?
  • Verification

• How do we choose a process from among several that achieve the same effect?
  • Efficiency Analysis

• Are there effects we cannot achieve with any process we might specify?
  • Theory of computability

• How do we build a machine that automatically carries out a process we've specified?
  • Computer architecture

• What processes in the natural world are fruitfully analyzed in computational terms?
  • Systems analysis