About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Semenov, Alexei L.
A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
MSC: 03-01, 03D05, 03F30, 68-02, 68Q50 | MR 975854 | Zbl 0664.03035
References:
[1] В. М. Глушков: Теорема о неполноте формальных теорий с позиций программиста. Кибернетика (1979), No. 2, 1-5. Zbl 1170.01331
[2] А. Л. Семенов В. А. Успенский: Математическая логика в вычислительных науках в вычислительной практике. Вестник АН СССР (1986), No. 7, 93-103. Zbl 1235.70189
[3] R. M. Smullyan: Theory of Formal Systems. (Annals of Mathematical Studies No. 47.) Princeton University Press, Princeton, N. J. 1962. MR 0152429
[4] В. А. Успенский: Теорема Геделя о неполноте. Наука, Москва 1982. Zbl 1170.01407
[5] В. А. Успенский: Теорема Геделя и теория алгоритмов. Успехи математических наук 8 (1953), No. 56, 176-178. Zbl 1151.94459
Partner of
EuDML logo