Жегалкин

Жегалкин, Иван Иванович

[22.07(03.08).1869-28.03.1947] - логик и математик; д-р физ.-матем. наук, проф. Приват-доц. Моск. ун-та (с 1902). Покинул ун-т в 1911 в знак протеста против политики Министра просвещения Кассо; вернувшись в ун-т в 1917, работал в нем до конца жизни. Автор первой рус. монографии по теории множеств. Руководил (совм. с П.С.Новиковым и С.А.Яновской) семинаром по ма-тем. логике в МГУ. Получил важные результаты в обл. логики и теории множеств: построил арифметизиро-ванную логику предложений в виде теории кольца вычетов по модулю 2. Это позволило получить такой вариант алгебры логики, в к-ром законы преобразований логич. выражений мало чем отличаются от законов обычной школьной алгебры, из-за чего техника вычислений значений предложений при решении тех или иных задач становится проще и понятнее; распространив это построение на логику предикатов, Ж. получил решение проблемы разрешения для этой обл. Нашел решение проблемы разрешения на конечных классах для нек-рых частных случаев формул узкого исчисления предикатов (необязательно одноместных).

Соч.: Трансфинитные числа. М., 1907; О технике вычислений в символической логике // Математический сборник. Т.34. Вып.1. М., 1927; Теория предложений и функций одного аргумента // Там же. Т.35. Вып.3-4. М., 1928; Арифметизация символической

" логики // Там же. Т.36. Вып.3-4. М., 1929; К проблеме разрешимости // Там же. 1939. Т.6 (48). № 2; О проблеме разрешимости в Вгоишег'овской логике предложений // Труды 2-го Всесоюзного математического съезда 1934 года. 1936. Т.2; Введение в анализ. [В соавт.]. М., 1935; Проблема разрешимости на конечных классах // Уч. зап. МГУ. 1946. Вып. 100.