A simple detailed proof for Goedel's incompleteness theorem
Kybernetika (1988)
- Volume: 24, Issue: 6, page 447-451
- ISSN: 0023-5954
Access Full Article
top
How to cite
topSemenov, Aleksei Lʹvovich. "A simple detailed proof for Goedel's incompleteness theorem." Kybernetika 24.6 (1988): 447-451. <http://eudml.org/doc/27342>.
@article{Semenov1988,
author = {Semenov, Aleksei Lʹvovich},
journal = {Kybernetika},
keywords = {Gödel’s incompleteness theorem},
language = {eng},
number = {6},
pages = {447-451},
publisher = {Institute of Information Theory and Automation AS CR},
title = {A simple detailed proof for Goedel's incompleteness theorem},
url = {http://eudml.org/doc/27342},
volume = {24},
year = {1988},
}
TY - JOUR
AU - Semenov, Aleksei Lʹvovich
TI - A simple detailed proof for Goedel's incompleteness theorem
JO - Kybernetika
PY - 1988
PB - Institute of Information Theory and Automation AS CR
VL - 24
IS - 6
SP - 447
EP - 451
LA - eng
KW - Gödel’s incompleteness theorem
UR - http://eudml.org/doc/27342
ER -
References
top- В. М. Глушков, Теорема о неполноте формальных теорий с позиций программиста, Кибернетика (1979), No. 2, 1-5. (1979) Zbl1170.01331
- А. Л. Семенов В. А. Успенский, Математическая логика в вычислительных науках в вычислительной практике, Вестник АН СССР (1986), No. 7, 93-103. (1986) Zbl1235.70189
- R. M. Smullyan, Theory of Formal Systems, (Annals of Mathematical Studies No. 47.) Princeton University Press, Princeton, N. J. 1962. (1962) MR0152429
- В. А. Успенский, Теорема Геделя о неполноте, Наука, Москва 1982. (1982) Zbl1170.01407
- В. А. Успенский, Теорема Геделя и теория алгоритмов, Успехи математических наук 8 (1953), No. 56, 176-178. (1953) Zbl1151.94459
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.