Gödel incompleteness theorems and the limits of their applicability. I

DOI10.1070/RM2010v065n05ABEH004703zbMath1213.03071OpenAlexW1967965230MaRDI QIDQ3082390

Lev D. Beklemishev

Publication date: 10 March 2011

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm2010v065n05abeh004703

zbMATH Keywords

survey paperGödel's first incompleteness theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (5)

On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ Finitely axiomatized theories lack self‐comprehension ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ FINDING THE LIMIT OF INCOMPLETENESS I

This page was built for publication: Gödel incompleteness theorems and the limits of their applicability. I