Всем логичного)
📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #видео
- У меня для тебя есть задачка 🙈 Пока никто не смог её решить, трудная, наверное 🙄🙀
- Сейчас посмотрим, подумаем.... 🤫 Странно, почему-то не выходит....🥵Может, она вообще не решается? 😥
- Глупости не говори, быть такого не может😡 Задача у него не решается, нашёлся тут умник🤪 Ничё, сейчас успокоимся 5 минуток ⏳ и докажем все теоремы😝
Матлог)
О существовании принципиально неразрешимых задач было известно ещё с времён создания неевклидовых геометрий. В прошлом веке Гёдель и Коэн развили эту идею глубже, доказав независимость континуум-гипотезы от аксиоматики ZFC. Сейчас это очень трудная, продуктивная и интересная тема, содержащая огромное количество открытых вопросов, с помощью которой можно найти неожиданные связи между самыми разными областями математики. В этом видео Оноприенко
Анастасия Александровна, аспирантка и сотрудница кафедры математической логики и теории алгоритмов, рассказывает о трёх таких задачах и дальнейших возможностях исследования.
— Видео:
Оноприенко А.А. о нерешаемых задачах, 0:03:55