Теория множеств: логика, формализм и кризис
ฝัง
- เผยแพร่เมื่อ 16 พ.ค. 2024
- Прикладная математика и информатика в РУДН:
admission.rudn.ru/ma_applied_mi
Ссылка на дополнительный материал к выпуску:
@makarsvet13-poyasnenie...
В эпизодах
Wild Mathing:
/ wildmathing
Павел Шестопалов:
/ @user-hu2pz4ob6g
Всем желающим помочь проекту:
Patreon - / makarsvet13
Сбербанк - 4276460013244533
ВебМани - R213877125307
PayPal - makarsvet13@gmail.com
Содержание
00:00 Введение
1:13 Глава 1
12:55 Глава 2
17:40 Глава 3
35:03 Глава 4
43:31 Глава 5
47:27 Для самых любознательный
Второй канал: clck.ru/P3rc3
Макар Светлый: id182122590
Мой твиттер: / makarsvet13
Наша группа (Science show): makarsvet13
Клевая научпоп группа: xkcdoff
Прикладная математика и информатика в РУДН:
admission.rudn.ru/ma_applied_mi
Заходим, не стесняемся.
Ничего не понятно, но очень интересно.
Бесконечность есть для-себя-бытие количества.
Базис всей математики есть снятие разделенности. Число есть наличное бытие. Пустота есть ничто в бытие. Пространство есть разделенная пустота.
Доказательство есть реакция в определенность логических причин для принятия.
Существование есть в-себе-бытие рефлексии.
Потрясающий ролик, Макар! Еще раз поздравляю!
Каналу 8 лет, тебе 13 - последовательные числа Фибоначчи!
Надеюсь, на 10:35 все узнали справа Алексея Савватеева
дедуля по середине в черепашках исполнял говорят
Похож)
Да, да. Ну прям ну ну прям ну очень похож!))
это прям 10 из 10
А на 18.30 все узнали Владимира Владимировича?
Сейчас в моём университете на магистерской программе "Прикладная математика и информатика" есть предмет "История и методология математики и программирования". И там в части "история математики", преподаватель тупо начал зачитывать биографию с википедии людей, внёсших вклад в математическую статистику, а в конце ещё поиздевался, сказав "на следующих лекциях я углублуюсь в то, что мне более интересно, а именно в математическую статистику". А ведь могли бы вместо этого бреда просто включить на лекционнную аудиторию твой видос, и все были бы только в плюсе, ведь твоё видео - настоящая история математики. Огромное спасибо, я узнал много интересного!
38:55 Этим другом был...
Я твой фанат ))
Хахахахаха
Я из Армении, тоже твой фанат )
Ей, онигири, моя любимая еда. Ой, это же IT деятель.
Как на счёт совместного ролика с Макаром?
Да-а. Круто разминает воображение.
Точно!!
@@SanderLite Чо тут точного? Тока доказательство тупости математиков, патаму чо хвизикам Хватло основной теоремы арихметики чоб доказать теорию сингулярности вего во всем, а гуманитарии, по своей тупости, теорию сингулярности превратили в гипотезу Бога и подарили все знания власть имущим?
@@user-bg4vd7tm1h шта?
@@Red.Igroman_bot.2.0 Угу!
Да, Кантор круто засрал мозги мозги профанам, не хуже чем Эйнштейн.
Наверное, самое серьезное и фундаментальное видео на канале - и вообще с каждым новым роликом Макар поднимает планку качества все выше и выше. Спасибо за такой интересный контент, снимай еще!
Макар, спасибо за этот ролик! Уверен, что он войдёт в историю научпопа.
Здесь действительно всё: сочные графические интерпретации, многосторонний взгляд на разные научные школы, детальный подход ко всему - у Вас Wild (!) озвучил названия глав. Удачи в создании новых роликов...будем ждать)
Сразу узнал голос Wild Mathing, а также его стиль графиков!😹
с таким видео я слишком сильно преисполнился...
Графики на 3blue1brown похожи ещё, может, они используют схожие инструменты?
@@cyanmargh кстати да, совсем забыл о таком канале. Может быть, может быть 😄
@@cyanmargh это и есть графики из первых видео о матанализе 3blue1brown'a.
Вот мне бы такие видео в прошлом...
Может и не бросил бы универ
Если ты про 1:51 то это 3Blue1Brown
Бляха мне 40 лет, но я с удовольствием смотрю твои ролики. Не буду врать, порой не все понятно (многое подзабыл со времен учебы в институте), но черт возьми, ты просто молодец.
PS да да я понял что ты не совсем стандартный паренек, немного гениален походу.
Не обижайте тех кто старше вас, сынок! 👍 😁Есть и по старше вас, кто смотрит. 🤓
найди себе уже женщину. а то , ты по ходу - тоже немного нестандартный, с такими подкатами
Если слышишь голос Wild Mathing на второй минуте, значит видео будет топ
Блестящая работа. Очень хотелось бы, чтобы такого материала было куда больше в отечественном сегменте. Спасибо, Макар.
Интересно и... душевно. Приятная музыка. Особый локальный юмор тоже радует. Настоящее произведение искусства. Успехов Макару!
Каких-бы научпоп-блогеров мы ни смотрели, в нашем сердце всегда будут рассказы Макара Светлого...
Я уже было испугалась, что вы Торвальда в пример ставить решили :D
О Тришка привет
Привет, не ожидала тебя здесь увидеть)
В 2020 году начинался мой второй курс и попалось это видео. Мне было тогда очень тяжело и трудно просматривать видеоролик, очень многое не понимал, но после университетских курсов абстрактной алгебры и мат. логики, я с безумным интересом смотрю сейчас. Спасибо за видео.
Я сейчас в 9 классе и мне дофига интересно. Но нифига не понятно....
Я сейчас в 8 и мне и интересно и более менее понятно
Наконец-то нормальный контент на Ютубе, больше бы таких каналов
- Иванов, доказывай теорему.
- Она верна.
- И почему же?
- У меня такое ощущение.
- А, так ты из интуиционалистов. Но всё равно, нужны более строгие доказательства.
- Хорошо. Я сказал, что теорема верна. Есди это так, то это пойдёт мне на пользу. А согласно аксиоме интуиционализма, всё, что полезно - существует. Следовательно теорема верна.
- Садись, пять.
Шутка на том же уровне как отсталый ребёнок рисует своей какашкой на стене. Хотя кто тебя знает. Может, ты и на стенах раньше рисовал...
@@Badula_n_his_brother Не рисовал. Упустил такой шанс порадовать вас. Вообще был не в курсе существования автофекалографии, так что со специалистом тягяться не смогу.
@@pda4yt я так и знал, что ты не признаешься, уася.
Но я вычислил тебя по твоей шутке.
Это точно был ты.
Всем спасибо за видео. Очень интересно. Всем хорошего настроения и здоровья.
Макар, спасибо! Это видео - кайф, постулирую как аксиому :)
Макар, отличное видео! Именно такие видео считаю научпопом! Жду каждого Вашего ролика!
Макар, очень крутой и интересный материал. Спасибо! С юбилеем канала! 🙌
По-настоящему годный и сложный контент. Браво, Макар!
Макар, это гениальный ролик! Спасибо)
Спасибо за ролик! Классно видеть на Ютубе не только описания простейших и популярнейших научных фактов, но и разборы более сложных тем.
А исторические факты, цитаты и атмосферная музыка превратили ролик в некое кино, документальную драму 🥺👍✨
Вообще шикарный ролик, как по мне,приятно понимать, что интересна
Посмотрел видео с огромным удовольствием. Спасибо!
Глубоко! 👍 Спасибо за ролик. Отличная вводная в эту тему!
Год назад начал изучать логику, впервые познакомился с аксиоматиками и базовыми понятиями. Аксиома выбора и результаты которые можно из нее вывести были абсолютно шокирующим для меня открытием. Удивительно, но лемма цорна, теорема цермело и АС эквивалентны (выводятся друг из друга по цепочке), но при этом АС кажется очевидной, лемма цорна "ну черт его знает, может верно может нет" и теорема цермело "ну это точно неправда". Более того из теоремы цермело легко выводится существование наименьшего несчетного множества (даже звучит абсурдно): множества, любое подмножество которого счетно. Сейчас уже я полностью влюбился в теорию множеств, теорию доказательств, теорию вычислений, булеву алгебру. Если математика ядро всех наук, то логика несомненно ядро математики.
И да, спасибо Макар за потрясающий выпуск, будто фильм посмотрел
По моему мнению, это твоё лучшее видео. Большое спасибо!
Топ. Я даже загрустил) Как и каждый раз задумываясь над этой темой
Макар, очень понравилось! Знал о многих частях, но ты помог свести все в одну общую картину.
Как много информации. 47мин концентрированной истории. Спасибо)
Невероятный ролик, спасибо большое!
Фантастическое видео. Я многое не понял (как и многие посмотревшие), но проникся величием проблем.
Великолепное видео! Побольше бы таких.)
Человеку, который готовился по теме - крепкое такое спасибо! Спорить и выражать недовольство оставим хейтерам и вечно недовольным личностям.
Активность на любимом канале нужно поддерживать, поэтому придумал универсальный комментарий,
который буду вставлять под всеми видео с моих любимых каналов. Подписчиков прошу комментировать неважно что под этим комментарием, что бы алгоритмы ютуба
расценивали как беседу. Всем спасибо!
Лайк)
Ахахахах
Чел ты ...
В топ
А чё?
Продвигаем видео! Оно шикарно!
Очень красивый ролик! Спасибо!)
Суперский ролик! Спасибо тебе большое! Очень вдохновляет
Макар, спасибо за такой исторический обзор! Делай побольше таких!
Потрясающе! Твой стиль изложения отлично подходит для очерков истории науки
Ролик - отличный! Тема раскрыта с разных сторон, обозначены все основные подходы, история вопроса - класс! Кто хочет больше фундаментальных вещей на канале, вроде темы этого ролика и ролика про пространство?)
Великолепный, ещё бы от грамматических ошибочек избавиться, и было бы полное ощущение что ролик сделан грамотным человеком😂😂
@@user-fd8ps7dj5j /Г
Спасибо большое, тема видео просто шикарна!
Видео очень интересное. Виден колоссальный труд. Спасибо!
Офигенно! Раньше знал частично это по отдельности, а тут все систематезировано да еще и с исторической точки зрения понятно стало кто как и из-за чего куда ушел.
Спасибо большое за это замечательное видео.
Видео - огонь! Очень познавательно, спасибо!
отличная тема! Благодарю за выпуск, очень увлекательно!)
Очень интересно, и в целом все понятно, что очень редко для научпопа. Благодарю за прекрасный контент.
Как же это круто, когда читаешь и проходишь ТМ, многое не понимаешь,не знаешь что посмотреть и видишь этот ролик, идеально
Отличный ролик. Спасибо!
О.Х.Р.Е.Н.Е.Т.Ь.
Я, воинствующий гуманитарий, проглотила это видео залпом. Не всё поняла, да, но это так прекрасно! Очень интересно, спасибо, ваш канал - это открытие для меня!
Гуманитарий не увидел гуманитарных ошибок😂. .....
@@user-fd8ps7dj5j, этот ролик не про русский язык поэтому всем насрать на "непротеворечивость", умник.
Большое спасибо за труд !
Крутой разбор теории множеств.
Ждем аналогичный детальный разбор других теорий
Спасибо за твою работу!
И познавательно, и интерессно, и качественно... супер!
Начинай свое утро с теории множеств ✌
Большое спасибо за ролик! Было очень интересно и фундаментально)
Подобные видео очень вдохновляют и показывают, насколько интересны точные науки. Оттого прям и хочется заниматься и работать в этой сфере
Как же я ждал новое видео
Спасибо огромное, шикарный ролик!
Потрясающее видео. Даже что-то новое для себя узнал, хотя сам студентам преподаю и теорию вычислимости, и функциональный анализ
Потрясающая работа! Ты нас покорил
макар, спасибо вам за этот ролик! продолжайте!
Спасибо за прекрасное видео!
В процессе просмотра выпуска в голове крутилась мысль, которая таки озвучена на 45:46 :) Спасибо, отличный контент!
Классное видео Макар, очень интересно!
шикарный материал, спасибо
Как классно, спасибо!
Спасибо Макар за работу, видео получилось каким-то ламповым что ли, очень уютным и, безусловно, интересным, обязательно продолжай свою деятельность (я себя почувствовал частью этого математического мира, хотя до передовой математики, я конечно никогда не дойду). Лично мне бы хотелось большего погружения в мат. часть, но понятно, что для многих это будет чересчур сложным и не интересным, а жаль) Еще раз большое тебе спасибо, я рад, что ты у нас есть)
Титанический труд, спасибо.
Прекрасное видео, чтение книги "Математика. Утрата определенности" Мориса Кляйна прекрасно дополнит данное видео.
Очень круто, спасибо!
Как всегда супер. Конкретно это видео для меня пришлось очень в тему, так как мы недавно говорили об этом на философии
Очень интересно , есть о чем подумать. 👍🏻
Очень хороший ролик! Хотелось бы увидеть ролик про троичную логику в истории ЭВМ и разбор причин провала троичных ЭВМ
Очень круто, спасибо)
Спасибо за видео!
Кажется, лучшее видео на этом канале
В универе проходил логику, там уже ознакомился с приколом, как Рассел опровергает классическую теорию множеств и в этой связи новые логики неклассические зарождаются)) теперь, когда грозный экзамен позади, можно в развлекательном формате посмотреть про это ! Классный у тебя канал, Макар!
Божественно!
Клевое видео)) Видеоряд богатый, спасибо!
Очень хороший доклад/анализ.
Сразу видно - Автор Сам занимается наукой....
А не те, кто отрицает электрон, атом, электричество .... Вообще все....
Спасибо за видео!!👍
Прекрасный ролик, прекрасный канал:)
Как всегда на высоте.
Как же давно я не видел на ютубе такой годноты
Изумительное видео!)
Многие рады были слышать Wild Mathing на видео - не спорю, тоже был рад. Но меня не меньше порадовал Павел Шестопалов, получающий незаслуженно мало внимания за свои труды на Ютубе.
Ну и да, ролик, кончено, очень хороший получился, большое вам спасибо!
Огромное спасибо за топконтент !
Огонь тема 🔥🔥🔥💥💥💥
Спасибо большое))
Ты сделал мой день. Я думал, что математика относительно стройна, а там всё как везде. =)
Видео просто пушка!
Наконец то , спасибо
Спасибо за ролик! Мне кажется, что получилось доступно, интересно, аккуратно, без серьезных неточностей. 31:28- хочу заметить, что немного некорректно, ведь так определяется линейно упорядоченное, в упорядоченном не обязательно все сравнимы, но это не так страшно, иногда так тоже употребляют, но сразу оговариваются, что опускают слово "линейно". Мне кажется, что хорошо было бы здесь полнее раскрыть интересную и трагичную биографию Кантора, например, как изначально воспринимались его идеи и результаты с бесконечностями математическим сообществом. Так называемый "логицизм" Лейбница, как я понимаю, часто притягивается к идеям самих логицистов начала 20 века, не совсем корректно усматривать его как основателя этой программы. Рассела и Уайтхеда важно было показать не только математиками, но и сильными философами, ведь почти все остальные - чистые математики. Про структуралистский подход Бурбаки ничего не сказано, хотя понятие структуры есть ядро их программы, очень важное место в философии математики занимает.
Вполне упорядоченность включает понятие линейной упорядоченности, но не ограничено им. Свойство существования наименьшего элемента в каждом подмножестве более сильное, чем сравнимость двух любых элементов (т.е. неформально из него сравнимость двух любых элементов вытекает, а в обратную сторону нет). Например, множество действительных чисел с обычным отношением порядка является линейно упорядоченным, но не вполне упорядоченным по этому отношению.
Если множество вполне упорядоченно, то в нём можно выделить минимальный элемент, который можно считать самым меньшим в нашем линейном порядке, и рассмотреть множество всех остальных элементов. В том множестве снова есть наименьший элемент, который можно считать вторым по порядку, и рассмотреть все остальные элементы кроме этих двух уже выбранных, и т.д. Так мы выстроим в линейный порядок счётный набор элементов, но после того как он выбран, можно рассмотреть множество всех элементов, кроме этого уже выбранного набора, найти в нём минимальный и поставить его следующим по порядку за всеми предыдущими. Используя трансфинитную индукцию, которая вместе с переходом к декларативному подходу к доказательству (в противоположность такому наивному алгоритмическому построению, которое здесь продемонстрированно для наглядности) позволяет "перепрыгнуть" через счётность всех возникающих в таком построении множеств, показывается что так можно линейно упорядочить всё множество (которое уже может быть и не счётным).
Проблема того, что никто не знает как вполне упорядочить множество действительных чисел, связанна с этим декларативным способом доказательства. Когда доказательство переписывается декларативно, возникает возможность убедиться в логической непротиворечивости данного построения для несчётного объёма объектов, вместе с тем теряется алгоритмическая составляющая процесса, которая отвечает на вопрос "как это сделать?". С другой стороны, если элементарные алгоритмические операции имеют результатом не более чем счётное число объектов, то любое алгоритмическое построение приводит к счётому объёму "результатов" этого построения. "Перелопатить" весь этот несчётный объём объектов используя такой алгоритм невозможно, ровно как не ясно как доказывать вещи для несчётного объема объектов, не используя декларативный подход.
наконец-то выпуск
Буквально пробежался по курсу матлогики за 40 минут. Класс.
Моё почтение за 47 минут полезной информации!)
Не стремится к описанию мира, но полезна для описания мира :-)
Шедевр