Provability, Mechanism, and the Diagonal Problem

DOI10.1093/ACPROF:OSO/9780198759591.003.0009zbMath1433.03143OpenAlexW2553675303MaRDI QIDQ5221596

Graham Leach-Krouse

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

zbMATH Keywords

Gödeldiagonalisationmathematical proofPostabsolute provabilityGö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) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Provability, Mechanism, and the Diagonal Problem