2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Литература по формальной ZFC
Сообщение17.10.2021, 21:28 
Здравствуйте. Есть ли какая-то литература на русском языке по формальной теории множеств Цермело-Френкеля? Нужна именно формальная теория (построенная как исчисление). Спасибо.

 
 
 
 Re: Литература по формальной ZFC
Сообщение17.10.2021, 21:55 
Аватара пользователя
Есть прекрасная советская переводная "Основания теории множеств" самого Френкеля. 60-х или 70-х годов. Очень толстая. В своё время читал с удовольствием.

 
 
 
 Re: Литература по формальной ZFC
Сообщение17.10.2021, 22:03 
Gagarin1968, спасибо. Эта книга у меня есть. Но там излагается неформальная аксиоматическая теория, а мне нужна формальная. Такое изложение, как мне нужно (правда, негильбертовского типа, а на основе натурального вывода) я видел только в учебнике Тимофеевой "Математическая логика".

 
 
 
 Re: Литература по формальной ZFC
Сообщение19.10.2021, 21:08 
https://obuchalka.org/20200209118243/ma ... -2006.html
Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

 
 
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 16:26 
Retro в сообщении #1535497 писал(а):
Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.


Посмотрел. К сожалению, там нет формальных выводов. Но всё равно спасибо, книга оказалась полезной для меня.

 
 
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 16:53 
Аватара пользователя
kernel1983
А Вам обязательно на русском?
Если владеете английским, есть хорошая книга: Suppes, Axiomatic Set Theory, 1972. Именно по формальной теории.
Сам читал её лет 30 назад. Правда, сквозь текст нужно пробиваться с трудом. Короче, работать надо.

 
 
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 17:19 
Gagarin1968, большое спасибо. Английским владею плохо, но в данном случае, думаю, разберусь.

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group