Home Online Mathematical Communication Computational Complexity Emil Post Anticipated (more than anticipated) Godel and Turing