A Brief Note on Gödel, Nagel, Minds, and Machines

DOI10.1007/978-3-319-63334-3_18zbMath1429.03047OpenAlexW2794713575MaRDI QIDQ5214796

Wilfried Sieg

Publication date: 5 February 2020

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

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_18

zbMATH Keywords

computabilitytheory of proofsnatural formalizationmechanism and mindmechanist thesis

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)

Cites Work

• Sir Timothy Gowers Interview
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Brief Note on Gödel, Nagel, Minds, and Machines