Computation and Logic in the Real World