References
- Franzén, T. 2005. Gödel’s Theorem: An Incomplete Guide to its Use and Abuse, Wellesley: A.K. Peters.
- Gödel, K. 1951. ‘Some basic theorems on the foundations of mathematics and their implications’ (Gibbs Lecture), Published in Gödel 1995, 304–323.
- Gödel, K. 1995. ‘Collected works III’, in S. Feferman et al., Unpublished Essays and Lectures, Oxford: Oxford University Press.
- Horsten, L. 1998. ‘In defense of epistemic arithmetic’, Synthese, 116, 1–25.
- Lucas, J. R. 1962. ‘Minds, machines, and Gödel’, Philosophy, 36, 112–37.
- Raatikainen, P. 2005. ‘On the philosophical relevance of Gödel’s incompleteness theorems’, Revue Internationale de Philosophie, 59, 513–34.
- Reinhardt, W. N. 1986. ‘Epistemic theories and the interpretation of Gödel’s incompleteness theorems’, Journal of Philosophical Logic, 15, 427–74.
- Shapiro, S. (ed.) 1985. ‘Epistemic and intuitionistic arithmetic’, in S. Shapiro, Intensional Mathematics, Amsterdam: North-Holland, 11–46.