Gödel’s Disjunction

DOI10.1093/ACPROF:OSO/9780198759591.003.0007zbMath1433.03140OpenAlexW2555579152MaRDI QIDQ5221594

Peter Koellner

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

zbMATH Keywords

mechanismLucasepistemic arithmeticPenroseabsolute undecidabilityabsolute provabilityGödel's disjunctionPenrose's new argumenttype-free truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

Non-deterministic logic of informal provability has no finite characterization

This page was built for publication: Gödel’s Disjunction