Gödel, Nagel, Minds, and Machines

DOI10.1007/978-3-319-63334-3_17zbMath1429.03024OpenAlexW2164067193MaRDI QIDQ5214795

Solomon Feferman

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.7779

zbMATH Keywords

undecidabilityTuring machinesmechanismincompleteness theoremsanti-mechanism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Turing machines and related notions (03D10) Gödel numberings and issues of incompleteness (03F40)