PROVING UNPROVABILITY

DOI10.1017/S1755020316000216zbMath1417.03296OpenAlexW4231954287MaRDI QIDQ5737963

Bruno Whittle

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020316000216

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on naive semantics
• Hilbert's program. An essay on mathematical instrumentalism
• A paradox regained
• Peano's smart children: A provability logical study of systems with built-in consistency
• Handbook of philosophical logic. Vol. 5
• Possible-worlds semantics for modal notions conceived as predicates
• Truth and paradox
• Outline of a Theory of Truth
• Interlude: About the First Theorem