Absolute Provability and Safe Knowledge of Axioms

DOI10.1093/ACPROF:OSO/9780198759591.003.0010MaRDI QIDQ5221597zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Axiomatizing provable \(n\)-provability
• scientific article; zbMATH DE number 7533333
• Safe beliefs for propositional theories
• Provability logic and the completeness principle
• AXIOMS FOR DETERMINATENESS AND TRUTH
• The Logic of Provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 1170091
• scientific article; zbMATH DE number 1301808

Cited in

(9)

• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• On the question of absolute undecidability
• Fragmentation and logical omniscience
• What is absolute undecidability?
• scientific article; zbMATH DE number 2190191 (Why is no real title available?)
• A semantics for in-principle provability
• Truth and Provability—A Comment on Redhead
• Malament-Hogarth machines and Tait's axiomatic conception of mathematics
• On the Question of Absolute Undecidability

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

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