Первое упоминание теоремы Геделя
- Страницы / Pages
- 132—143
Аннотация
На основании документальных источников делается вывод о том, что впервые знаменитая теорема о неполноте была упомянута Гёделем уже 6 сентября 1930 года на конференции в Кёнигсбергском университете.
Abstract
T
Список литературы
1. Гильберт Д. Естествознание и логика. Публикация, предисловие и перевод В. Н. Брюшинкина // Кантовский сборник. Калининград: Изд-во КГУ, 1990. Вып. 15.
2. Гильберт Д., Бернайс П. Основания математики: Логические исчисления и формализация арифметики. М.: Наука, 1979.
3. Клини С. К. Математическая логика. М.: Мир, 1973.
4. Коэн Пол Дж. Теория множеств и континуум-гипотеза. М.: Мир, 1969.
5. Линдон Р. Заметки по логике. М.: Мир, 1968.
6. Математическая логика и ее применение: Сб. ст. под ред. Э. Нагела, П. Саппса и А. Тарского. М.: Мир, 1965.
7. Пенроуз Р. Тени разума: в поисках науки о сознании. Часть: Понимание разума и новая физика. Москва-Ижевск: Институт компьютерных исследований, 2003.
8. Пенроуз Р. Новый ум короля. М.: Едиториал УРСС, 2003.
9. Подниекс К. М. Вокруг теоремы Геделя. Рига, 1981.
10. Фейс Р. Модальная логика. М.: Наука, 1974.
11. Успенский В. А. Теорема Геделя о неполноте. М.: Наука, 1982.
12. Gödel K. Collected Works, V.3. Feferman, S., Dawson, J., Kleene, S., Moore, G,. Solovay, R., and van Heijenoort, J. (eds.). N. Y.: Oxford University Press, 1995.
13. Erkenntnis Bd.2 H.3, Leipzig: Meiner Verlag, 1931.
14. Wang Hao. Some Facts about Gödel // Journal of Symbolic Logic. Vol. 46. № 3 (1981). P. 653—659.
15. Wang Hao. Reflections on Kurt Godel. Cambridge: MIT Press, 1987.
16. Wang Hao. A Logical Joinery: From Gödel to Philosophy. Cambridge, Massachusetts: The MIT Press, 1987.