ГЛИВЕНКО Валерий Иванович

(2 января 1897 (21 декабря 1896), Киев—12 февраля 1940, Москва) — советский математик и логик, доктор физико-математических наук, профессор (1928). Окончил Московский университет (1925), автор обобщающих исследований в теории интегрирования (Интеграл Стилтьеса. М.—Л., 1936), аксиоматике теории вероятностей (Курс теории вероятностей. М.—Л., 1939), теории структур (Theorie generale des structures. P., 1938) и логике. В 1928 в статье «О логике Брауэра» (Sur la Logique de M. Brouwer, рус. пер., 1998) в связи с проблемой семантической интерпретации интуиционистской логики Гливенко опроверг гипотезу о трехзначности этой логики и дал формальные доказательства некоторых ее замечательных теорем: о неложности исключенного третьего закона и о ложности в этой логике любого суждения, ложность которого доказана на основе этого закона. В 1929 в статье «О некоторых аспектах логики Брауэра» (Sur quelques points de la Logique de M. Brouwer, рус. пер., 1998) Гливенко осуществил первую полную аксиоматизацию пропозициональной интуиционистской логики (логики суждений) и на ее основе дал общий ответ на вопрос о том, какие именно суждения (в рамках логики суждений) классической логики сохраняют силу и в интуиционистской логике.

Соч.: Sur la Logique de M. Brouwer.—Academie Royale de Belgique. Bulletins de la classe de sciences, 1928, ser. 5, 14; Sur quelques points de la Logique de M. Brouwer.—Ibid., 1929, ser. 5, 15 (рус. пер.: Труды научно-исследовательского семинара логического центра Института философии РАН. М., 1998); Логика противоречия.—В кн.: Сб. работ математического раздела Коммунистической Академии, т. 1. M., (1929) с. 100—104; Понятие дифференциала у Маркса и Адамара.—«Под знаменем марксизма», 1934, № 5, с. 79—85; Кризис основ математики на современном этапе его развития.—В кн.: Сб. статей по философии математики. М., 1936, с. 69—83; Менделеевская алгебра. Доклады АН СССР, 1936, т. 4 (13); Общая теория предела функции. Записки Государственного педагогического института им. К. Либкнехта, 2 (1938), с. 3—15.

Лит.: Колмогоров А. Н. Валерий Иванович Гливенко (Некролог).— «Успехи математических наук», 1941, вып. 8; Яновская С. А. Основания математики и математическая логика. —В кн.: Математика в СССР за тридцать лет, 1917-1947, с. 30-31; Новоселов М. М. К истории дискуссий об интуиционистской логике.—В кн.: Историко-математические исследования. Вторая серия. Выпуск 5 (40). M., 2000. (Кн. содержит уточненные рус. пер. указанных выше статей Гливенко.)

М. М. Новосёлов