Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Здравствуйте. Есть ли какая-то литература на русском языке по формальной теории множеств Цермело-Френкеля? Нужна именно формальная теория (построенная как исчисление). Спасибо.
Gagarin1968
Re: Литература по формальной ZFC
17.10.2021, 21:55
Есть прекрасная советская переводная "Основания теории множеств" самого Френкеля. 60-х или 70-х годов. Очень толстая. В своё время читал с удовольствием.
kernel1983
Re: Литература по формальной ZFC
17.10.2021, 22:03
Последний раз редактировалось kernel1983 17.10.2021, 22:15, всего редактировалось 1 раз.
Gagarin1968, спасибо. Эта книга у меня есть. Но там излагается неформальная аксиоматическая теория, а мне нужна формальная. Такое изложение, как мне нужно (правда, негильбертовского типа, а на основе натурального вывода) я видел только в учебнике Тимофеевой "Математическая логика".
Посмотрел. К сожалению, там нет формальных выводов. Но всё равно спасибо, книга оказалась полезной для меня.
Gagarin1968
Re: Литература по формальной ZFC
30.10.2021, 16:53
kernel1983 А Вам обязательно на русском? Если владеете английским, есть хорошая книга: Suppes, Axiomatic Set Theory, 1972. Именно по формальной теории. Сам читал её лет 30 назад. Правда, сквозь текст нужно пробиваться с трудом. Короче, работать надо.
kernel1983
Re: Литература по формальной ZFC
30.10.2021, 17:19
Gagarin1968, большое спасибо. Английским владею плохо, но в данном случае, думаю, разберусь.