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