Доказуемое и недоказуемое - Манин Ю.И.
Скачать (прямая ссылка):
14. Мании Ю. И. Теорема Геделя. — Природа, 1975, № 2, с. 80—87.
15. Успенский В. А. Теорема Геделя о неполноте в элементарном изложении.— УМН, 1974, т. 29, вып. 1, с. 3—47.
Книги н статьи по проблемам оснований математики
16. Тарский А. Введение в логику и методологию естественных иаук: Пер. с англ. — М.: ИЛ, 1948.
17. Френкель А., Бар-Хиллел И. Основания теории множеств: Пер. с англ. — М.: Мир, 1966.
18. Тростников В. Н. Конструктивные процессы в математике. — М.: Наука, 1975.
19. Коэн П. Дж. Об основаниях теории множеств. — УМН, 1974, т. 29, вып. 5. с. 169—176.
20. G?del К. What is Canotor’s continuum problem? — American Mathematical Monthly, 1947, v. 54, № 9.
21. Лакатос И. Доказательства и опровержения: Пер. с англ.—М.: Наука, 1967.
161
Другие цитированные работы
22. Картан А., Эйленберг С. Гомологическая алгебра: Пер. с англ. — М.: Мир». 1960.
23. Линдси Ч., ван дер Мюйлен С. Неформальное введение в Алгол-68; Пер.. с англ.—М.: Мир, 1973.
24. Гладкий А. В., Мельчук И. А. Элементы математической логики. — М.: Мир» 1969.
25. Ивин А. А. Логика норм. — М.: МГУ, 1973.
26. Лурия А. Р. Потерянный и возвращенный мир. — М.: МГУ, 1971.
27. Стеблии-Каменский М. И. Культура Исландии. — Л., Наука, 1967.
28. фон Нейман Дж. Математические основы квантовой механики: Пер. с нем./’ Под ред. акад. Н. Н. Боголюбова.—М.: Наука, 1964.
29. Макки Дж. У. Лекции по математическим основам квантовой механики. Пер. с англ. — М.: Мир, 1965.
30. Reid С. Hilbert.—Berlin, Springer, 1975.
31. Smullyan R. M. Languages in which selfreference is possible. — J. Symbolic Logic, 1975, v. 22, № 1.
32. Selfridge J., Nicol C. A., Vandiver H. S. On the loust Fermat theorem.— «Proc. National Academy USA», 1955, v. 41, p. 970—973.
33. Swinnerton — Dyer H. P. E. On the product of three homogeneous linear forms. — «Acta Arithmetica», 1971, v. 18, p. 371—385.
34. Siegel C.-L. Zuzwei Bemerkungern Kummers. — «Nachrichten Ak. Wiss. Gottingen, Math.-Phys. Klasse», 1964, № 6, p. 51—57.
35. Mumford D. Equations defining abelian varieties. — Inventiones Mathematicael». 1967, v. 3, p. 3.
36. Kochen S., Specker E. P. The Problem of hidden variables in quantum Mechanics. J. Mathematics and Mechanics, 1967, v. 17, p. 59—87.
ИМЕННОЙ УКАЗАТЕЛЬ
Адамар Ж. 153
Бар-Хиллел И. 7, 53 Бенвенист Э. 87 Бернайс 21, 100 Бериштейи 109 Биркгофф Г. 98 Брауэр 54, 156, 158 Бурали 100
Бурбаки Н. 7, 22, 30, 154
Вандивер 56 Вейнрейх У. 40 Вигнер Ю. 3 Виета 3
Галуа 75
Гедель К. 6, 7, 9, 21, 56, 78, 100, 87, 111, 125, 149, 150, 160 Гейнтииг 156 Г6СС6 Г. 8
Гильберт 22, 75, 159, 160 Гиндикин С. Г. 7 Гладкий А. В. 40, 62 Гумбольдт 9 Гюго В. 161
Давенпорт 56 Декарт Р. 10 Деман К- 40, 41
Зигель К- Л. 55, 56
Ивни А. А. 41
Кантор Г. 74, 101, 108, 109, 110, 157, 159
Картан А. 24
Клини С. К. 6, 7, 40, 76, 155 Кениг 110
Коэн П. Д. 6, 7, 21, 61, 74, 110—112, 147, 149 Кохен 89, 97 Куайн 155 Кум мер 56
Куратовский 106 Кронекер 156
Лакатос И. 7 Лаплас П. С. 153 Лебег 110, 112, 116 Левенсейм 70 Лейбниц 10 Линдси Ч. 24 Лурия А. Р. 42
Мальцев А. А. 7 Мамфорд Д. 57 Марков А. А. 6, 7, 56, 157 Мартынов Л. 63 Матиясевич Ю. В. 7 Мельчук И. А. 40, 62 Мендельсон Э. 7, 44, 48, 100 Морэ 23
Мостовский 71, 72 Мюйлен С. ван дер 24
Нейман Д. фон 6, 15, 32, 87, 90, 98, 100, 103, 125 Николь 56
Падучева Е. В. 40 Паскаль Б. 153 Пеано 11, 48, 54 Пономарев 98 Пуанкаре А. 152, 153
Рассел Б. 40, 155 Рейхенбах 40 Риман 20 Роджерс X. 7 Россер 14, 43
Селфридж 56 Сколем 21, 70, 74, 152 Соссюр 9
Стеблин-Каменский М. И. 63 Стоун 61
Суиннертон-Дайер X. П. Ф. 55, 56
163
Тарский A. 6, 7, 9, 21, 78, 85 Толстой JI. Н. 4 Том Р. 148 Тростников В. Н. 7 Тьюринг 6
Уайтхед 155 Успенский В. А. 7
Фейнман 154 Ферма П. 19 Ферми Э. 4 Форти 100 Фреге 10
Френкель А. 7, 53, 100
Хомский Н. 62.
Цермело 100, 109 Шенфилд Д. 6
Шмульян 6, 21, 23, 78, 80, 85-' Шлеккер 89, 97 Шредингер 90 Шредер 109
Эйленберг G. 24
Яглом И. М. 7
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Аксиома объемности 130
— полноты 115, 119
— специализации 37 Аксиомы арифметики 48
— бесконечности 138
— выбора 141
— с кванторами 119
— пары 134
— подстановки 139 •— порядка 119
— равенства 46
— регулярности 136
— специальные теории множеств Цермело — Френкеля 49, 72, 78, 108, 114, 145
— степени 135
— суммы 134 Алгол-60—8
Алгебра истинностных значений 16 Алгоритмические языки 9 Алфавит 8
— языков 11
достаточный 65
Атомарные термы 12 Атом ортогелия 88, 99 Аттракторы 148 Аутореферентность 87
Булевы алгебры 57, 60
— функции истинности 61, 127 Бинарное отношение 107
Вывод формулы из множества формул в языке Ь 43 Внешний аспект семантики 158 Внутренний аспект семантики 158 Выражения 8 Выразимость 29 Выразительность языка 9 Вычисление 5
Вхождение последовательности <2 в Р 25
Геделево множество формул языка Ь 38
Гипотеза континуума «ложна» 143
— Римана 20 Гомологическая алгебра 24 Граф 23
Гуманитаризация математики 161
Диагональный процесс Кантора 110 Дналекты 2?\ 22
Естественная семантика связки
«если ... то» 41
Задачи алгоритмической неразрешимости 6
