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.


Incompleteness theorems Mechanism Anti-mechanism Turing machines Undecidability 

Copyright information

© Springer International Publishing AG, part of Springer Nature 2017

Authors and Affiliations

  1. 1.StanfordUSA

Personalised recommendations