Logical depth and physical complexity
On Computable Numbers, with an Application to the Entscheidungsproblem.