ЖЕГАЛКИН Иван Иванович [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. З.А.Кузичева
|
|||||
|
 |
|