RUS  ENG
Полная версия
СЕМИНАРЫ

Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
30 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online


Семинар 11. Логика Гёделя–Лёба. Защищенная рекурсия

Диана Калиниченко



Аннотация: Логика Гёделя–Лёба — яркий представитель логик доказательств. Она описывает те факты, которые арифметика Пеано может вывести о самой себе. В этом докладе будут рассмотрены её свойства и ограничения. Также будет рассказано о её применении к языкам программирования в виде защищенной рекурсии (guarded recursion).


© МИАН, 2024