Outline for a Logical Theory of Adaptive Systems
On Computable Numbers, with an Application to the Entscheidungsproblem.