Epistemic Church’s Thesis and Absolute Undecidability

DOI10.1093/ACPROF:OSO/9780198759591.003.0011zbMath1433.03105OpenAlexW2520014977MaRDI QIDQ5221599

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

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) Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Turing machines and related notions (03D10) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Epistemic Church’s Thesis and Absolute Undecidability