Epistemic Church's thesis and absolute undecidability

DOI10.1093/ACPROF:OSO/9780198759591.003.0011zbMATH Open1433.03105OpenAlexW2520014977MaRDI QIDQ5221599FDOQ5221599

Authors: Marianna Antonutti Marfori 

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.0011

Recommendations

• Gödel’s Disjunction
• Church's thesis and its epistemological status
• scientific article; zbMATH DE number 1089032
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• scientific article; zbMATH DE number 3995667

zbMATH Keywords

epistemic arithmeticabsolute undecidabilityabsolute provabilityepistemic Church's thesisGödel's disjunction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Turing machines and related notions (03D10) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited In (1)

• Absoluteness and the Skolem Paradox

This page was built for publication: Epistemic Church's thesis and absolute undecidability

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