Naming and Diagonalization, from Cantor to Godel to Kleene

DOI10.1093/jigpal/jzl006zbMath1113.03003OpenAlexW2113306826MaRDI QIDQ3424118

Haim Gaifman

Publication date: 15 February 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl006

zbMATH Keywords

fixed pointliar paradoxsemantic paradoxesdiagonalizationincompletenessself-referencecomputabilitygap theoremrecursion theoremnamingpartial function

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (2)

Paradoxical hypodoxes ⋮ ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP

This page was built for publication: Naming and Diagonalization, from Cantor to Godel to Kleene