РАЦИО.ru

2009 Выпуск №1

Назад к списку Скачать статью

Первое упоминание теоремы Геделя

Страницы
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.