1. A look at human interaction with pervasive computers
2. Turing, A. (1956) Can Machine Think? In The World of Mathematics (Ed. J.R. Newman)
3. Dreyfus, Hubert L. What Computers Can’t Do: A Critique of Artificial Reason. New York: Harper and Row, 1972.
4. Gödel, K., 1995, Collected Works III. Unpublished Essays and Lectures, S. Feferman et al. (eds.), Oxford: Oxford University Press
5. Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question