AN ELEMENTARY EXPOSITION OF GODEL'S INCOMPLETENESS THEOREM

DOI10.1070/RM1974V029N01ABEH001280zbMath0299.02002OpenAlexW1965793995MaRDI QIDQ4053599

Vladimir A. Uspensky

Publication date: 1974

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

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Categoricity and completeness of theories (03C35)

Related Items (1)

Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)

This page was built for publication: AN ELEMENTARY EXPOSITION OF GODEL'S INCOMPLETENESS THEOREM