Idealization, mechanism, and knowability

DOI10.1093/ACPROF:OSO/9780198759591.003.0008zbMATH Open1433.03009OpenAlexW2555862146MaRDI QIDQ5221595FDOQ5221595

Authors 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) Gödel numberings and issues of incompleteness (03F40) Turing machines and related notions (03D10) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Incompleteness, Mechanism, and Optimism
• Intuitionists Are Not (Turing) Machines
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• scientific article; zbMATH DE number 3853029
• Réalisme et antimécanisme chez K. Gödel

Cited in

(6)

• scientific article; zbMATH DE number 1870126 (Why is no real title available?)
• Labelling ideality and subideality
• Idealizations, Intertheory Explanations and Conditionals
• Absolute knowledge and scientific knowledge: A computational view
• The explanatory dispensability of idealizations
• A machine that knows its own code

This page was built for publication: Idealization, mechanism, and knowability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221595)