Gödel, Nagel, Minds, and Machines
Part of the Outstanding Contributions to Logic book series (OCTR, volume 13)
This is the author’s slightly revised Nagel Lecture as it was published in the Journal of Philosophy CVI, 4 (April 2009), pp. 201–219. The permission of the Journal to republish the article is gratefully acknowledged.
KeywordsIncompleteness theorems Mechanism Anti-mechanism Turing machines Undecidability
© Springer International Publishing AG, part of Springer Nature 2017