Теория множеств: логика, формализм и кризис

Прикладная математика и информатика в РУДН:

Ссылка на дополнительный материал к выпуску:

В эпизодах
Wild Mathing:
Павел Шестопалов:

Всем желающим помочь проекту:
Сбербанк - 4276460013244533
ВебМани - R213877125307

Содержание
00:00 Введение
1:13 Глава 1
12:55 Глава 2
17:40 Глава 3
35:03 Глава 4
43:31 Глава 5
47:27 Для самых любознательный

[MakarSvet]

Прикладная математика и информатика в РУДН:
Заходим, не стесняемся.

[charlz-darvin]

Сейчас в моём университете на магистерской программе "Прикладная математика и информатика" есть предмет "История и методология математики и программирования". И там в части "история математики", преподаватель тупо начал зачитывать биографию с википедии людей, внёсших вклад в математическую статистику, а в конце ещё поиздевался, сказав "на следующих лекциях я углублуюсь в то, что мне более интересно, а именно в математическую статистику". А ведь могли бы вместо этого бреда просто включить на лекционнную аудиторию твой видос, и все были бы только в плюсе, ведь твоё видео - настоящая история математики. Огромное спасибо, я узнал много интересного!

[WildMathing]

Потрясающий ролик, Макар! Еще раз поздравляю!
Каналу 8 лет, тебе 13 — последовательные числа Фибоначчи!
Надеюсь, на 10:35 все узнали справа Алексея Савватеева

[vladimirprokhorov]

Наверное, самое серьезное и фундаментальное видео на канале - и вообще с каждым новым роликом Макар поднимает планку качества все выше и выше. Спасибо за такой интересный контент, снимай еще!

[chemtoday]

Макар, спасибо за этот ролик! Уверен, что он войдёт в историю научпопа.
Здесь действительно всё: сочные графические интерпретации, многосторонний взгляд на разные научные школы, детальный подход ко всему - у Вас Wild (!) озвучил названия глав. Удачи в создании новых роликов...будем ждать)

[AtriumChem]

Блестящая работа. Очень хотелось бы, чтобы такого материала было куда больше в отечественном сегменте. Спасибо, Макар.

[ny_ave_]

В 2020 году начинался мой второй курс и попалось это видео. Мне было тогда очень тяжело и трудно просматривать видеоролик, очень многое не понимал, но после университетских курсов абстрактной алгебры и мат. логики, я с безумным интересом смотрю сейчас. Спасибо за видео.

[kzsgcx]

Очень хороший доклад/анализ.
Сразу видно - Автор Сам занимается наукой....
А не те, кто отрицает электрон, атом, электричество .... Вообще все....

[tsa]

Бляха мне 40 лет, но я с удовольствием смотрю твои ролики. Не буду врать, порой не все понятно (многое подзабыл со времен учебы в институте), но черт возьми, ты просто молодец.
PS да да я понял что ты не совсем стандартный паренек, немного гениален походу.

[AivanF]

Спасибо за ролик! Классно видеть на Ютубе не только описания простейших и популярнейших научных фактов, но и разборы более сложных тем.

[redrikh_putiata]

Интересно и... душевно. Приятная музыка. Особый локальный юмор тоже радует. Настоящее произведение искусства. Успехов Макару!

[elkandevening]

Каких-бы научпоп-блогеров мы ни смотрели, в нашем сердце всегда будут рассказы Макара Светлого...

[skirter]

Если слышишь голос Wild Mathing на второй минуте, значит видео будет топ

[pdayt]

- Иванов, доказывай теорему.
- Она верна.
- И почему же?
- У меня такое ощущение.
- А, так ты из интуиционалистов. Но всё равно, нужны более строгие доказательства.
- Хорошо. Я сказал, что теорема верна. Есди это так, то это пойдёт мне на пользу. А согласно аксиоме интуиционализма, всё, что полезно - существует. Следовательно теорема верна.
- Садись, пять.

[alexeysamoilik]

Сразу узнал голос Wild Mathing, а также его стиль графиков!😹

с таким видео я слишком сильно преисполнился...

[thethng]

Человеку, который готовился по теме - крепкое такое спасибо! Спорить и выражать недовольство оставим хейтерам и вечно недовольным личностям.
Активность на любимом канале нужно поддерживать, поэтому придумал универсальный комментарий,
который буду вставлять под всеми видео с моих любимых каналов. Подписчиков прошу комментировать неважно что под этим комментарием, что бы алгоритмы ютуба
расценивали как беседу. Всем спасибо!

[catbarsic]

Наконец-то нормальный контент на Ютубе, больше бы таких каналов

[negin]

Год назад начал изучать логику, впервые познакомился с аксиоматиками и базовыми понятиями. Аксиома выбора и результаты которые можно из нее вывести были абсолютно шокирующим для меня открытием. Удивительно, но лемма цорна, теорема цермело и АС эквивалентны (выводятся друг из друга по цепочке), но при этом АС кажется очевидной, лемма цорна "ну черт его знает, может верно может нет" и теорема цермело "ну это точно неправда". Более того из теоремы цермело легко выводится существование наименьшего несчетного множества (даже звучит абсурдно): множества, любое подмножество которого счетно. Сейчас уже я полностью влюбился в теорию множеств, теорию доказательств, теорию вычислений, булеву алгебру. Если математика ядро всех наук, то логика несомненно ядро математики.
И да, спасибо Макар за потрясающий выпуск, будто фильм посмотрел

[Склубничнымвкусом]

Офигенно! Раньше знал частично это по отдельности, а тут все систематезировано да еще и с исторической точки зрения понятно стало кто как и из-за чего куда ушел.

[WhiteWhale]

Большое спасибо за ролик! Было очень интересно и фундаментально)
Подобные видео очень вдохновляют и показывают, насколько интересны точные науки. Оттого прям и хочется заниматься и работать в этой сфере