Г

Глебский Юрий Васильевич

4 сентября 1927 – 1 августа 1977
Кандидат физико-математических наук

Автор 0-1 закона в математической логике: при стремлении мощности универсума к бесконечности доля выполнимости любого предложения, не содержащего нульместных предикатов, стремится к 0 или к 1.
Из доказательства Глебского следует алгоритмическая разрешимость асимптотической истинности в логике первого порядка.
Основатель и первый заведующий кафедрой математической логики и высшей алгебры ВМК Горьковского государственного университета им. Н.И. Лобачевского (1966-1970).
Кандидат физико-математических наук (1955). Доцент.
Трагически погиб на реке Волга, спасая своего сына.




Г