Жданов, Aндрей AлександровичЖЕГАЛКИН Иван Иванович

ЖЕГАЛКИН

Найдено 1 определение:

ЖЕГАЛКИН

Иван Иванович [22 июля (3 авг.) 1869 – 28 марта 1947] – сов. логик и математик. Д-р физ.-математич. наук, профессор, засл. деят. науки РСФСР (с 1945). Приват-доцент Моск. ун-та (с 1902); в 1911 покинул ун-т в знак протеста против реакц. политики министра просвещения Кассо; вернувшись в ун-т в 1917, работал в нем до конца жизни; руководил совместно с П. С. Новиковым и С. А. Яновской науч. семинаром по математич. логике в МГУ. Осн. результаты Ж. относятся к логике и теории множеств. В 1927 (в более детальном виде – в 1928) Ж. построил арифметизированную логику предложений в виде теории кольца вычетов по модулю 2, т.е. как такой аналог обычной арифметики и алгебры, в к-ром операции производятся лишь над числами 1 и 0, играющими роль символов истинностных значений "истина" и "ложь", или над выражениями, принимающими лишь эти значения; вместо обычной суммы чисел при этом берется т. н. сумма по модулю 2 (т. е. остаток от деления суммы на 2), соответствующая строгой дизъюнкции (см. язык УСЕ в ст. Алгебра логики). Это позволило получить такой вариант алгебры логики, в к-ром законы преобразований логич. выражений мало чем отличаются от законов обычной школьной алгебры, из-за чего техника вычислений значений предложений при решении тех или иных логич. задач становится проще и понятнее. Развивая это построение и распространяя его на логику одноместных предикатов, Ж. получил решение проблемы разрешения для этой области логики. Последние две опубликованные работы Ж. (1939, 1946) посвящены рассмотрению нек-рых частных случаев формул узкого предикатов исчисления (не обязательно одноместных), для к-рых Ж. нашел решение т.н. проблемы разрешения на конечных классах. Неразрешимость этой поставленной Ж. проблемы для общего случая была в 1950 доказана Б. А. Трахтенбротом. Ж. – автор первой русской монографии по множеств теории ("Трансфинитные числа", М., 1907). Последние месяцы жизни Ж. работал над созданием оригинально задуманного учебника логики. Соч.: О технике вычислений в символической логике, в кн.: Математический сб., т. 34, вып. 1, М., 1927, с. 9–28; Теория предложений и функций одного аргумента, там же, т. 35, вып. 3–4, М., 1928, с. 311–78; Арифметизация символической логики, там же, т. 36, вып. 3–4, М., 1929, с. 205–338; К проблеме разрешимости, там же, 1939, т. 6 (48), No 2, с. 185–98; О проблеме разрешимости в Brouwer´oвской логике предложений, "Тр. 2-го Всесоюзного математического съезда 1934 года", 1936, т. 2, с. 437; Введение в анализ, М., 1935 (совм. со Слудской М. И.); Проблема разрешимости на конечных классах, "Уч. зап. МГУ", 1946, вып. 100, с. 155–211 (Математика, т. 1). Лит.: Математика в СССР за тридцать лет. 1917–1947. Сб. статей, М.–Л., 1948, с. 34–36; Математика в СССР за сорок лет. 1917–1957. [Сб.], т. 1, М., 1959, с. 92, 103–106; Послесловие редакции, в кн.: Тарский ?., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, с. 314–15; Лузин ?. ?., Теория функций действительного переменного, 2 изд., М., 1948, с. 5; Кузнецов А. В., О бесповторных контактных схемах и бесповторных суперпозициях функций алгебры логики, "Тр. Мат. ин-та АНСССР им. В. А. Стеклова", 1958, т. 51, с. 203; Черч ?., Введение в математическую логику, пер. с англ., [т.] 1, М., 1960, с. 97, 393; Горский Д. П., Вопросы абстракции и образование понятий, М., 1961, с.160–61. А. Кузнецов. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме ЖЕГАЛКИН — 0

Найдено научныех статей по теме ЖЕГАЛКИН — 0

Найдено книг по теме ЖЕГАЛКИН — 0

Найдено презентаций по теме ЖЕГАЛКИН — 0

Найдено рефератов по теме ЖЕГАЛКИН — 0