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

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

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

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

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

Название: Сильная неразрешимость и первая теорема Гёделя о неполноте

Аннотация.

Теория Г называется сильно неразрешимой, если всякая теория, совместная с Г, неразрешима. Известно, что такие теории существуют: в качестве примера можно взять некоторую конечно аксиоматизируемую «минимальную» арифметику, которую мы будем обозначать через MA. Из сильной неразрешимости MA следует современная версия первой теоремы Гёделя о неполноте (в форме Россера), а также теорема Чёрча над арифметической сигнатурой. На самом деле, первая теорема Гёделя в известном смысле равносильна сильной неразрешимости MA (по модулю нескольких простых наблюдений). Кроме того, MA интерпретируется в теории дискретно упорядоченных колец, а потому последняя также сильно неразрешима.

🔗 Логика в Москве


➰ ВК