We present a theoretical view of computation, delineating what types of approximations are possible and what types are impossible. A practical consequence is an approximation algorithm with numerous applications. For several classical problems (finding maximizers, fixed points, equilibrium...