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

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

12 декабря 2025 г.

Г. Г. Черевиченко
"Определение подстановки и альфа-конверсии методом Jean-Louis Krivine".
Аннотация: доказать что-либо строго про подстановку и альфа-конверсию мучительно трудно, поэтому проблему почти всегда замалчивают. Но есть интересные нестандартные подходы, самым неожиданным из которых, видимо, является подход Кривина.

➰ ВК