#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425 (2гум).

11 октября 2024 г.
Докладчик: Г. Г. Черевиченко.
Название: Бар-рекурсия.

Аннотация: Бар-рекурсия - это некоторый способ определять вычислимые функции. По сути, это разновидность теоретико-множественной трансфинитной рекурсии по счётным ординалам, но вместо ординалов используются некоторые "фундированные деревья со счётным ветвлением". Будет рассказано про непрерывные функционалы Брауэра, какой ход мысли привёл тополога к отказу от принципа исключённого третьего и попыткам частично его сохранить и приложения к теории доказательств и программированию.

➰ ВК