24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
530
5 октября 2015
Сохранен
529
16 марта 2021
Сохранен
66
11 ноября 2017
Активный
60
Ты - не математик, если не знаешь NBG. — Решаем Mendelson Elliott: Introduction to Mathematical Logic http://rgho.st/7WHmFCSPM По моему скромному разумению - уметь решать эти задачи максимально чётко должен уметь всякий уважающий себя математик, и неважно в какой сфере он работает. Здесь я буду постить решения, до тех пор пока не прорешаю всё. Если кто хочет за компанию - присоединяйтесь, спрашивайте, предлагайте свои варианты, критикуйте. Пикрелейтед включает в себя необходимые 13 аксиом(с галочками), которые составляют суть теории. Чем крута NBG? 1) конечной аксиоматизируемостью(в отличие от ZFC) 2) отсутствием парадоксов (в отличие от наивной теории множеств) 3) наличием классов (в отличие от ZFC) 4) после её изучения - понятно о чём стандартные вузовские курсы 5) высокой скоростью доказывания, по сравнению с HoTT-ом, например, который собственно ещё очень сырой и совершенно невоспринимаем большинством математиков. A про книгу - выдержала 6 изданий, что косвенно говорит о качестве. В подарок - определим таки наконец ординалы, и не только N. Короче, в добрый путь!
вчера 8:52
Сохранен
644
6 апреля 15:06
Сохранен
109
28 марта 10:34
Сохранен
232
26 июня 2022
Сохранен
576
27 ноября 2021
Сохранен
135
30 октября 2020
Сохранен
114
14 апреля 2019
Сохранен
526
8 декабря 2018
Сохранен
64
11 декабря 2016
Сохранен
9
1 ноября 2016
Сохранен
256
6 октября 2015
Сохранен
217
31 августа 2022
Сохранен
57
31 мая 2022
Сохранен
124
6 февраля 2022
Сохранен
165
1 февраля 2022
Сохранен
0
27 декабря 2021
Сохранен
12
2 октября 2021
Сохранен
29
4 марта 2020
Сохранен
520
28 июня 2019
Сохранен
508
7 июля 2018
Сохранен
126
1 мая 2018
Сохранен
47
7 декабря 2014

Отзывы и предложения