#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в онлайн формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 213 (ул. Усачева, д. 6)
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 26.09.2025 в 16:20

Докладчик: С.О. Сперанский (МИАН)

Название: Открытие алгоритмической неразрешимости

Аннотация:

Формализация понятия вычислимой функции и появление естественных примеров алгоритмически неразрешимых проблем — яркие события в истории современной математики и информатики, связанные с пионерскими работами Алана Тьюринга. Данная лекция будет посвящена стоящему за этими событиями математическому аппарату и его применениям. В частности, будет приведена схема доказательства неразрешимости небезызвестной «проблемы остановки». Кроме того, мы бегло обсудим классификацию математических проблем по степени их неразрешимости.

➰ ВК