Метаматематика. Литература.
Основания математики. Метаматематика.
(список естественно неполный и не лучший, просто вырван из статьи какойто)
Литература
А. Основная
1. Чёрч А. Введение в математическую логику. - М.: ИЛ, 1960.
2. Клини С. К. Математическая логика. - М.: Мир, 1973.
3. Мендельсон Э. Введение в математическую логику. - М.: Наука, 1976.
4. Шенфилд Дж. Математическая логика. - М.: Наука, 1975.
5. Новиков П. С. Элементы математической логики. - М.: Наука, 1973.
6. Колмогоров А. Н., Драгалин А. Г. Введение в математическую логику. - М.:
Изд-во Моск. Ун-та, 1982.
7. Ершов Ю. Л., Палютин Е. А. Математическая логика. - М.: Наука, 1979.
8. Мальцев А. И. Алгоритмы и рекурсивные функции. - М.: Наука, 1965.
9. Манин Ю. И. Доказуемое и недоказуемое. - М.: Сов. Радио, 1979.
10. Манин Ю. И. Вычислимое и невычислимое. - М.: Сов. Радио, 1980.
11. Успенский В. А., Семёнов А. Л. Теория алгоритмов: основные открытия и
приложения. - М.: Наука, 1987.
12. Трахтенброт Б. А. Алгоритмы и вычислительные автоматы. - М.: Сов. Радио, 1974.
13. Келли Дж. Л. Общая топология. - М.: Наука, 1968.
14. Бурбаки Н. Теория множеств. - М.: Мир, 1965.
15. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической
логике и теории алгоритмов. - М.: Наука, 1975.
16. Феферман С. Числовые системы. Основания алгебры и анализа: Пер. с англ. - М.: Наука, 1971.
17. Нечаев В. И. Числовые системы. - М.: Просвещение, 1975.
18. Любецкий В. А. Основные понятия школьной математики. - М.: Просвещение, 1987.
19. Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. - М.: ИЛ, 1948.
20. Столл Р. Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968.
Б. Дополнительная
1. Справочная книга по математической логике: В 4-х частях / Под ред Дж. Барвайса. - М.: Наука, 1982-83.
Ч. I. Теория моделей. - М.: Наука, 1982.
Ч. II. Теория множеств. - М.: Наука, 1982.
Ч. III. Теория рекурсии. - М.: Наука, 1982.
Ч. IV. Теория доказательств и конструктивная математика. - М.: Наука, 1983.
2. Гильберт Д., Бернайс П. Основания математики: Логические исчисления и
формализация арифметики. - М.: Наука, 1979.
3. Гильберт Д., Бернайс П. Основания математики: Теория доказательств. М.:
Наука, 1982.
4. Клини С. К. Введение в метаматематику. - М.: ИЛ, 1960.
5. Кейслер Г. и Чен Ч. Теория моделей. - М.: Мир, 1977.
6. Марков А. А., Нагорный Н. М. Теория алгорифмов. - М.: Наука, 1984.
7. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. -
М.: Мир, 1972.
8. Машины Тьюринга и рекурсивные функции / Г.-Д. Эббинхауз и др. - М.:
Мир, 1972.
9. Колмогоров А. Н., Драгалин А. Г. Математическая логика. Дополнительные
главы. - М.: Изд-во Моск. Ун-та, 1984.
10. Гиндикин С. Г. Алгебра логики в задачах. - М.: Наука, 1972.
11. Яблонский С. И., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и
классы Поста. М.: Наука, 1966.
12. Успенский В. А. Теорема Гёделя о неполноте. - М.: Наука, 1982.
13. Подниекс К. М. Вокруг теоремы Гёделя. - Рига: Латв. гос. ун-т, 1981.
14. Арбиб М. Мозг, машина и математика. - М.: Наука, 1968.
15. Куратовский К., Мостовский А. Теория множеств. - М.: Мир, 1970.
16. Френкель А. А., Бар-Хиллел И. Основания теории множеств. - М.: Мир, 1966.
17. Расёва Е., Сикорский Р. Математика метаматематики. - М.: Наука, 1972.
18. Энгелер Э. Метаматематика элементарной математики: Пер. с нем. - М.:
Мир, 1987.
19. Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. - М.: Интерпракс; Новосибирск: Институт математики СО
РАН, 1994.
20. Мадер В. В. Введение в методологию математики. - М.: Интерпракс, 1995.
---
Манин Ю.И. Лекции по математической логике 1 (1974).pdf
Манин Ю.И. Лекции по математической логике 2 (1974).pdf
Клини С.К. Введение в метаматематику-ИЛ (1957).djvu
Робинсон А. Введение в теорию моделей и метаматематику алгебры.djvu
Энгелер Э.-Метаматематика элементарной математики-Мир (1978).djvu
Курант Р., Роббинс Г. Что такое математика OSR.pdf
Барвайс Дж. ред. Справочная книга по математической логике. В 4-х частях.
Манин Ю.И. Вычислимое и невычислимое.djvu
Feynman R.P. Simulating physics with computers (Int.J.Theor.Phys.21 p467.1982).djvu
(список естественно неполный и не лучший, просто вырван из статьи какойто)
Литература
А. Основная
1. Чёрч А. Введение в математическую логику. - М.: ИЛ, 1960.
2. Клини С. К. Математическая логика. - М.: Мир, 1973.
3. Мендельсон Э. Введение в математическую логику. - М.: Наука, 1976.
4. Шенфилд Дж. Математическая логика. - М.: Наука, 1975.
5. Новиков П. С. Элементы математической логики. - М.: Наука, 1973.
6. Колмогоров А. Н., Драгалин А. Г. Введение в математическую логику. - М.:
Изд-во Моск. Ун-та, 1982.
7. Ершов Ю. Л., Палютин Е. А. Математическая логика. - М.: Наука, 1979.
8. Мальцев А. И. Алгоритмы и рекурсивные функции. - М.: Наука, 1965.
9. Манин Ю. И. Доказуемое и недоказуемое. - М.: Сов. Радио, 1979.
10. Манин Ю. И. Вычислимое и невычислимое. - М.: Сов. Радио, 1980.
11. Успенский В. А., Семёнов А. Л. Теория алгоритмов: основные открытия и
приложения. - М.: Наука, 1987.
12. Трахтенброт Б. А. Алгоритмы и вычислительные автоматы. - М.: Сов. Радио, 1974.
13. Келли Дж. Л. Общая топология. - М.: Наука, 1968.
14. Бурбаки Н. Теория множеств. - М.: Мир, 1965.
15. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической
логике и теории алгоритмов. - М.: Наука, 1975.
16. Феферман С. Числовые системы. Основания алгебры и анализа: Пер. с англ. - М.: Наука, 1971.
17. Нечаев В. И. Числовые системы. - М.: Просвещение, 1975.
18. Любецкий В. А. Основные понятия школьной математики. - М.: Просвещение, 1987.
19. Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. - М.: ИЛ, 1948.
20. Столл Р. Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968.
Б. Дополнительная
1. Справочная книга по математической логике: В 4-х частях / Под ред Дж. Барвайса. - М.: Наука, 1982-83.
Ч. I. Теория моделей. - М.: Наука, 1982.
Ч. II. Теория множеств. - М.: Наука, 1982.
Ч. III. Теория рекурсии. - М.: Наука, 1982.
Ч. IV. Теория доказательств и конструктивная математика. - М.: Наука, 1983.
2. Гильберт Д., Бернайс П. Основания математики: Логические исчисления и
формализация арифметики. - М.: Наука, 1979.
3. Гильберт Д., Бернайс П. Основания математики: Теория доказательств. М.:
Наука, 1982.
4. Клини С. К. Введение в метаматематику. - М.: ИЛ, 1960.
5. Кейслер Г. и Чен Ч. Теория моделей. - М.: Мир, 1977.
6. Марков А. А., Нагорный Н. М. Теория алгорифмов. - М.: Наука, 1984.
7. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. -
М.: Мир, 1972.
8. Машины Тьюринга и рекурсивные функции / Г.-Д. Эббинхауз и др. - М.:
Мир, 1972.
9. Колмогоров А. Н., Драгалин А. Г. Математическая логика. Дополнительные
главы. - М.: Изд-во Моск. Ун-та, 1984.
10. Гиндикин С. Г. Алгебра логики в задачах. - М.: Наука, 1972.
11. Яблонский С. И., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и
классы Поста. М.: Наука, 1966.
12. Успенский В. А. Теорема Гёделя о неполноте. - М.: Наука, 1982.
13. Подниекс К. М. Вокруг теоремы Гёделя. - Рига: Латв. гос. ун-т, 1981.
14. Арбиб М. Мозг, машина и математика. - М.: Наука, 1968.
15. Куратовский К., Мостовский А. Теория множеств. - М.: Мир, 1970.
16. Френкель А. А., Бар-Хиллел И. Основания теории множеств. - М.: Мир, 1966.
17. Расёва Е., Сикорский Р. Математика метаматематики. - М.: Наука, 1972.
18. Энгелер Э. Метаматематика элементарной математики: Пер. с нем. - М.:
Мир, 1987.
19. Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. - М.: Интерпракс; Новосибирск: Институт математики СО
РАН, 1994.
20. Мадер В. В. Введение в методологию математики. - М.: Интерпракс, 1995.
---
Манин Ю.И. Лекции по математической логике 1 (1974).pdf
Манин Ю.И. Лекции по математической логике 2 (1974).pdf
Клини С.К. Введение в метаматематику-ИЛ (1957).djvu
Робинсон А. Введение в теорию моделей и метаматематику алгебры.djvu
Энгелер Э.-Метаматематика элементарной математики-Мир (1978).djvu
Курант Р., Роббинс Г. Что такое математика OSR.pdf
Барвайс Дж. ред. Справочная книга по математической логике. В 4-х частях.
Манин Ю.И. Вычислимое и невычислимое.djvu
Feynman R.P. Simulating physics with computers (Int.J.Theor.Phys.21 p467.1982).djvu