Интенция | Все о философии

06.08.2009 - ЖЕГАЛКИН Иван Иванович [7 июля 1869, Мценск, Орловской обл. — 28 марта 1947, Москва]

Логик, математик, педагог

Окончил физикоматематич. Ф-т Московского ун-та (1893). С 1902 работает в Московском ун-те, в 1911 покидает его в знак протеста против политики министра народного просвещения Л. А. Кассо. Вернулся в 1918 и работал в Московском ун-те до конца жизни. Доцент (1902), профессор (1923), заведующий кафедрой математического анализа (1930), доктор физикоматематических наук (1935), заслуженный деятель науки РСФСР (1945).
Научная работа Жегалкина тесно связана с основаниями математики. Его «Трансфинитные числа» — одна из первых монографий по абстрактной теории множеств в отечественной и мировой литературе. В числе первых в стране занимался (с 1927) исследованиями по математической логике. В первой из своих статей Жегалкин осуществил вложение классической пропозициональной логики в арифметику вычетов по модулю 2, указав тем самым чисто арифметическую процедуру разрешения для булевых функций. С тех пор кольцо вычетов по модулю 2 называют также алгеброй Жегалкина. В последующих работах Жегалкина оно расширено до исчисления одноместных предикатов, доказана разрешимость этого исчисления. В 30е гг. Жегалкин создал научный семинар по математической логике, которым он руководил совместно с С. А. Яновской и П. С Новиковым.
Соч.: Трасфинитные числа. М., 1907; О технике вычислений в символической логике.— Математический сб., т. 34, вып. 1. М., 1927; Арифметизация символической логики.— Там же, т. 35, вып. 3—4. М., 1928; Арифметизация символической логики (продолжение).— Там же, т. 36, вып. 3—4. М., 1929; К проблеме разрешимости.— Там же, т. 6(48), № 2. М., 1939, с. 185—198; Проблема разрешимости на конечных классах.— Уч. зап. МГУ, вып. 100. М., 1946, с. 155—211.
Лит.: Яновская С. А. Основания математики и математическая логика. В кн.: Математика в СССР за 30 лет. 19171947. М., 1948, с. 11—50; Летопись Московского университета 1955—1979. М., 1979.
3. А. Кузичева

Опубликовано на сайте: http://intencia.ru
Прямая ссылка: http://intencia.ru/index.php?name=Filosof&op=view&id=147