Publisher
Springer Nature Switzerland
Reference31 articles.
1. Alexander SA. A machine that knows its own code. Studia Logica: An International Journal for Symbolic Logic 102: 567–576, 2014.
2. Benacerraf, P. God, the devil, and Gödel. The monist 51(1): 9–32, 1967.
3. Boolos G. Introductory note to Kurt Gödel’s “some basic theorems on the foundations of mathematics and their implications”. In Feferman, S. (ed.) Kurt Gödel, Collected Works (pp. 290–304). Oxford University Press, 1995.
4. Carlson TJ. Knowledge, Machines, and the Consistency of Reinhardt’s Strong Mechanistic Thesis. Annals of Pure and Applied Logic, CV, 1–3: 51–82, 2000.
5. Chalmers DJ. Minds, machines and mathematics: a review of Shadows of the Mind by Roger Penrose. PSYCHE: An Interdisciplinary Journal of Research on Consciousness 2: 11–20, 1995.