В ближайшие дни Архивач временно работает без основного хранилища ранее сохранённых картинок/видео пока мы проводим работы по техническому обслуживанию. Сохранение всего вновь поступающего контента продолжается. Но затем всё обязательно вернётся в полном объёме!
Сортировка: за
Сохранен
2
12 ноября 2023
Активный
131
11 сентября 6:56
Сохранен
33
12 ноября 2023
Сохранен
22
12 ноября 2023
Сохранен
9
23 октября 2023
Сохранен
3
23 октября 2023
Сохранен
20
15 сентября 2023
Сохранен
93
15 сентября 2023
Сохранен
47
15 сентября 2023
Сохранен
3
15 сентября 2023
Сохранен
8
24 декабря 2022
Сохранен
46
24 декабря 2022
Сохранен
7
20 мая 2017
Активный
30
11 сентября 6:56
Сохранен
8
24 декабря 2022
Сохранен
4
24 декабря 2022
Сохранен
5
24 декабря 2022
Сохранен
6
24 декабря 2022
Активный
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. Короче, в добрый путь!
11 сентября 6:56
Сохранен
6
24 декабря 2022
Сохранен
6
24 декабря 2022
Сохранен
26
24 декабря 2022
Сохранен
7
24 декабря 2022
Сохранен
6
24 декабря 2022
Сохранен
10
24 декабря 2022