Publisher
Springer International Publishing
Reference29 articles.
1. Benacerraf, P. 1967. God, the Devil, and Gödel. The Monist 51(1): 9–32.
2. Carlson, T.J. 2000. Knowledge, machines, and the consistency of Reinhard’s strong mechanistic thesis. Annals of Pure and Applied Logic 105: 51–82.
3. Chalmers, D.J. 1995. Mind, machines, and mathematics. A review of shadows of the mind by Roger Penrose. Psyche 2(9): 11–20.
4. Egré, P. 2005. The knower paradox in the light of provability interpretations of modal logic. Journal of Logic, Language and Information 14: 13–48.
5. Feferman, S. 2008. Axioms for determinateness and truth. Review of Symbolic Logic 1: 204–217.