2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Бурбаки и матлогика?
Сообщение27.06.2021, 08:07 


27/06/21
1
Говорят что учить логику лучше не начинать с Бурбаки и стоит изучать ее в другом месте, однако хочется понять насколько раздел посвященный логике в книге "Теория множеств" вообще соответствует современному подходу и результатам в математике. Немного полистав первый раздел, могу сказать что изложение похоже на стандартное введение в других учебниках, за исключением названий (также искаженных при переводе), поэтому хочу спросить знатоков данного труда:
1. Насколько изложение в книге соответствует текущему течению формализма в математике (не устарело ли оно)?
2. Вычитал что Бурбаки игнорируют результаты Гёделя, это так? Что еще из области логики пропущено?
3. Что за аксиоматика берется для теории множеств? Слышал что некоторые аксиомы там слегка "необычные"
4. Как вводится арифметика?

 Профиль  
                  
 
 Re: Бурбаки и матлогика?
Сообщение27.06.2021, 21:37 
Заслуженный участник
Аватара пользователя


03/06/08
2320
МО
Вот тут topic84633.html эта тема уже обсуждалась, посмотрите.

(Оффтоп)

Сам читал когда-то давно, впечатления книжка оставила совершенно отвратительные.

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

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



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

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


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

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