Жегалкин Иван Иванович [03.08.1869-28.03.1947]

Жегалкин Иван Иванович [22.07(03.08).1869-28.03.1947]
       - логик и математик; доктор физико-математических наук, профессор
       Приват-доцент Московского университета (с 1902). Покинул университет в 1911 в знак протеста против политики Министра просвещения Кассо; вернувшись в университет в 1917, работал в нем до конца жизни.
       Автор первой русской монографии по теории множеств. Руководил (совместно с П.С.Новиковым и С.А.Яновской) семинаром по математической логике в МГУ. Получил важные результаты в области логики и теории множеств: построил арифметизированную логику предложений в виде теории кольца вычетов по модулю 2. Это позволило получить такой вариант алгебры логики, в котором законы преобразований логических выражений мало чем отличаются от законов обычной школьной алгебры, из-за чего техника вычислений значений предложений при решении тех или иных задач становится проще и понятнее; распространив это построение на логику предикатов, Жегалкин получил решение проблемы разрешения для этой области. Нашел решение проблемы разрешения на конечных классах для некоторых частных случаев формул узкого исчисления предикатов (необязательно одноместных).
Соч.:
       Трансфинитные числа. М., 1907;
       О технике вычислений в символической логике // Математический сборник. Т.34. Вып.1. М., 1927;
       Теория предложений и функций одного аргумента // Математический сборник. Т.35. Вып.З-4. М., 1928;
       Арифметизация символической логики // Математический сборник. Т.36. Вып.З-4. М., 1929;
       К проблеме разрешимости // Математический сборник. 1939. Т.6 (48). №2;
       О проблеме разрешимости в Brouwer'овской логике предложений // Труды 2-го Всесоюзного математического съезда 1934 года. 1936. Т.2;
       Введение в анализ. [В соавт.]. М., 1935;
       Проблема разрешимости на конечных классах // Уч. зап. МГУ. 1946. Вып.100.

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
Оглавление | Все источники



Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Wednesday, 23-Oct-2013 08:52:10 UTC