Добавлена поддержка Ежчана (ejchan.net, ejchan.site). Набегаем, тестируем архивацию, сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
576
2021-11-27 05:59:22
Сохранен
165
2022-02-01 01:30:19
Сохранен
124
2022-02-06 15:33:50
Сохранен
47
2014-12-07 07:05:27
Сохранен
530
2015-10-05 19:59:53
Активный
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. Короче, в добрый путь!
2026-05-11 09:36:26
Сохранен
256
2015-10-06 19:36:57
Сохранен
114
2019-04-14 16:25:22
Сохранен
126
2018-05-01 07:42:58
Сохранен
66
2017-11-11 18:53:54
Сохранен
64
2016-12-11 10:19:24
Сохранен
526
2018-12-08 23:58:15
Сохранен
508
2018-07-07 18:00:07
Сохранен
520
2019-06-28 21:45:02
Сохранен
529
2021-03-16 16:21:54
Активный
35
2026-06-08 18:25:14
Сохранен
29
2020-03-04 18:54:39
Сохранен
9
2016-11-01 19:07:31
Сохранен
274
2023-02-24 05:20:32
Сохранен
135
2020-10-30 13:38:01
Сохранен
109
2024-03-28 10:34:01
Сохранен
12
2021-10-02 13:53:15
Сохранен
57
2022-05-31 18:50:52
Сохранен
126
2023-09-04 08:38:37
Сохранен
217
2022-08-31 08:57:55