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

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

21 февраля 2025 г.
Г. Г. Черевиченко
Трудности с определением подстановки.
Подстановку мы обычно не пишем явно и поэтому не замечаем. При попытке же что-то о ней строго доказать неожиданно оказывается, что это мучительно трудно. В большинстве случаев трудности замалчивают (например, почти никто не проверяет кванторные правила при определении моделей Крипке). На примере моделей Крипке докладчик опишет трудности и предложит свой подход к их решению.

➰ ВК