ЖЕГАЛКИН

ЖЕГАЛКИН Иван Иванович [7 июля 1869, Мценск, Орловской обл. – 28 марта 1947, Москва] – логик, математик, педагог. Окончил физико-математич. ф-т Московского ун-та (1893). С 1902 работает в Московском ун-те, в 1911 покидает его в знак протеста против политики министра народного просвещения Л.А.Кассо. Вернулся в 1918 и работал в Московском ун-те до конца жизни. Доцент (1902), профессор (1923), заведующий кафедрой математического анализа (1930), доктор физико-математических наук (1935), заслуженный деятель науки РСФСР (1945).

Научная работа Жегалкина тесно связана с основаниями математики. Его «Трансфинитные числа» – одна из первых монографий по абстрактной теории множеств в отечественной и мировой литературе. В числе первых в стране занимался (с 1927) исследованиями по математической логике. В первой из своих статей Жегалкин осуществил вложение классической пропозициональной логики в арифметику вычетов по модулю 2, указав тем самым чисто арифметическую процедуру разрешения для булевых функций. С тех пор кольцо вычетов по модулю 2 называют также алгеброй Жегалкина. В последующих работах Жегалкина оно расширено до исчисления одноместных предикатов, доказана разрешимость этого исчисления. В 30-е гг. Жегалкин создал научный семинар по математической логике, которым он руководил совместно с С.А.Яновскойи П.С.Новиковым [НОВИКОВ П.С.].

Сочинения:

1. Трасфинитные числа. М., 1907;

2. О технике вычислений в символической логике. – Математический сб., т. 34, вып. 1. М., 1927;

3. Арифметизация символической логики. – Там же, т. 35, вып. 3–4. М., 1928;

4. Арифметизация символической логики (продолжение). – Там же, т. 36, вып. 3–4. М., 1929;

5. К проблеме разрешимости. – Там же, т. 6(48), № 2. М., 1939, с. 185–198;

6. Проблема разрешимости на конечных классах. – Уч. зап. МГУ, вып. 100. М., 1946, с. 155–211.

Литература:

1. Яновская С.А. Основания математики и математическая логика. – В кн.: Математика в СССР за 30 лет. 1917–1947. М., 1948, с. 11–50;

2. Летопись Московского университета 1955–1979. М., 1979.

З.А.Кузичева