| Title:
|
A simple detailed proof for Goedel's incompleteness theorem (English) |
| Author:
|
Semenov, Alexei L. |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
24 |
| Issue:
|
6 |
| Year:
|
1988 |
| Pages:
|
447-451 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03-01 |
| MSC:
|
03D05 |
| MSC:
|
03F30 |
| MSC:
|
68-02 |
| MSC:
|
68Q50 |
| idZBL:
|
Zbl 0664.03035 |
| idMR:
|
MR975854 |
| . |
| Date available:
|
2009-09-24T18:08:54Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124187 |
| . |
| Reference:
|
[1] В. М. Глушков: Теорема о неполноте формальных теорий с позиций программиста.Кибернетика (1979), No. 2, 1-5. Zbl 1170.01331 |
| Reference:
|
[2] А. Л. Семенов В. А. Успенский: Математическая логика в вычислительных науках в вычислительной практике.Вестник АН СССР (1986), No. 7, 93-103. Zbl 1235.70189 |
| Reference:
|
[3] R. M. Smullyan: Theory of Formal Systems.(Annals of Mathematical Studies No. 47.) Princeton University Press, Princeton, N. J. 1962. MR 0152429 |
| Reference:
|
[4] В. А. Успенский: Теорема Геделя о неполноте.Наука, Москва 1982. Zbl 1170.01407 |
| Reference:
|
[5] В. А. Успенский: Теорема Геделя и теория алгоритмов.Успехи математических наук 8 (1953), No. 56, 176-178. Zbl 1151.94459 |
| . |
