Absolute Versions of Incompleteness Theorems
From MaRDI portal
Publication:5275663
DOI10.2307/2214945zbMath1366.03236OpenAlexW2334156613MaRDI QIDQ5275663
Publication date: 14 July 2017
Published in: Noûs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2214945
Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)
Related Items (9)
Provability in principle and controversial constructivistic principles ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ Strengthening Consistency Results in Modal Logic ⋮ A machine that knows its own code ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Short-circuiting the definition of mathematical knowledge for an artificial general intelligence ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis ⋮ SELF-REFERENTIAL THEORIES ⋮ Fast-collapsing theories
This page was built for publication: Absolute Versions of Incompleteness Theorems
