Absolute Provability and Safe Knowledge of Axioms

DOI10.1093/ACPROF:OSO/9780198759591.003.0010zbMath1433.03011OpenAlexW2555836453MaRDI QIDQ5221597

Timothy Williamson

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

zbMATH Keywords

mathematical proofabsolute undecidabilityabsolute provability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Fragmentation and logical omniscience

This page was built for publication: Absolute Provability and Safe Knowledge of Axioms