Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
24 вычислимость и разрешимость
01 Исчисление высказываний
С.О. Сперанский//Открытие алгоритмической неразрешимости
Лекция 14
Трагедия греческой математики | LAPLAS
Лавров пошёл против Кремля? / Резкое заявление президента