We will use broad definitions...
We know a computer when we see one
- Intuition is sufficient for this class
We infer a computation when an improbable event happens
- A computer chooses from among many possible outputs
- On the basis of its inputs
- Reliably, repeatedly