2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Литература по формальной ZFC
Сообщение17.10.2021, 21:28 


10/11/15
142
Здравствуйте. Есть ли какая-то литература на русском языке по формальной теории множеств Цермело-Френкеля? Нужна именно формальная теория (построенная как исчисление). Спасибо.

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение17.10.2021, 21:55 
Аватара пользователя


01/11/14
1647
Principality of Galilee
Есть прекрасная советская переводная "Основания теории множеств" самого Френкеля. 60-х или 70-х годов. Очень толстая. В своё время читал с удовольствием.

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение17.10.2021, 22:03 


10/11/15
142
Gagarin1968, спасибо. Эта книга у меня есть. Но там излагается неформальная аксиоматическая теория, а мне нужна формальная. Такое изложение, как мне нужно (правда, негильбертовского типа, а на основе натурального вывода) я видел только в учебнике Тимофеевой "Математическая логика".

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение19.10.2021, 21:08 


18/06/19
40
https://obuchalka.org/20200209118243/ma ... -2006.html
Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 16:26 


10/11/15
142
Retro в сообщении #1535497 писал(а):
Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.


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

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 16:53 
Аватара пользователя


01/11/14
1647
Principality of Galilee
kernel1983
А Вам обязательно на русском?
Если владеете английским, есть хорошая книга: Suppes, Axiomatic Set Theory, 1972. Именно по формальной теории.
Сам читал её лет 30 назад. Правда, сквозь текст нужно пробиваться с трудом. Короче, работать надо.

 Профиль  
                  
 
 Re: Литература по формальной ZFC
Сообщение30.10.2021, 17:19 


10/11/15
142
Gagarin1968, большое спасибо. Английским владею плохо, но в данном случае, думаю, разберусь.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модератор: Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group