Idealization, Mechanism, and Knowability

DOI10.1093/ACPROF:OSO/9780198759591.003.0008zbMath1433.03009OpenAlexW2555862146MaRDI QIDQ5221595

Stewart Shapiro

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.003.0008

zbMATH Keywords

mechanismLucasPenroseabsolute undecidabilityabsolute provability

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) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Idealization, Mechanism, and Knowability