Geodesic
A simple detailed proof for Goedel's incompleteness theorem
Kybernetika, Tome 24 (1988) no. 6, pp. 447-451 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03-01, 03D05, 03F30, 68-02, 68Q50 
@article{KYB_1988_24_6_a4,
     author = {Semenov, Alexei L.},
     title = {A simple detailed proof for {Goedel's} incompleteness theorem},
     journal = {Kybernetika},
     pages = {447--451},
     year = {1988},
     volume = {24},
     number = {6},
     mrnumber = {975854},
     zbl = {0664.03035},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1988_24_6_a4/}
}
TY  - JOUR
AU  - Semenov, Alexei L.
TI  - A simple detailed proof for Goedel's incompleteness theorem
JO  - Kybernetika
PY  - 1988
SP  - 447
EP  - 451
VL  - 24
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_1988_24_6_a4/
LA  - en
ID  - KYB_1988_24_6_a4
ER  - 
%0 Journal Article
%A Semenov, Alexei L.
%T A simple detailed proof for Goedel's incompleteness theorem
%J Kybernetika
%D 1988
%P 447-451
%V 24
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_1988_24_6_a4/
%G en
%F KYB_1988_24_6_a4
Semenov, Alexei L. A simple detailed proof for Goedel's incompleteness theorem. Kybernetika, Tome 24 (1988) no. 6, pp. 447-451. http://geodesic.mathdoc.fr/item/KYB_1988_24_6_a4/

[1] В. М. Глушков: Теорема о неполноте формальных теорий с позиций программиста. Кибернетика (1979), No. 2, 1-5. | Zbl

[2] А. Л. Семенов В. А. Успенский: Математическая логика в вычислительных науках в вычислительной практике. Вестник АН СССР (1986), No. 7, 93-103. | Zbl

[3] R. M. Smullyan: Theory of Formal Systems. (Annals of Mathematical Studies No. 47.) Princeton University Press, Princeton, N. J. 1962. | MR

[4] В. А. Успенский: Теорема Геделя о неполноте. Наука, Москва 1982. | Zbl

[5] В. А. Успенский: Теорема Геделя и теория алгоритмов. Успехи математических наук 8 (1953), No. 56, 176-178. | Zbl