ГЛИВЕНКО

ГЛИВЕНКО Валерий Иванович (2 января 1897 (21 декабря 1896), Киев – 12 февраля 1940, Москва) – советский математик и логик, доктор физико-математических наук, профессор (1928). Окончил Московский университет (1925), автор обобщающих исследований в теории интегрирования (Интеграл Стилтьеса. М. – Л., 1936), аксиоматике теории вероятностей (Курс теории вероятностей. М. – Л., 1939), теории структур (Théorie générale des structures. P., 1938) и логике. В 1928 в статье «О логике Брауэра» (Sur la Logique de M.Brouwer, рус. пер., 1998) в связи с проблемой семантической интерпретации интуиционистской логики [ИНТУИЦИОНИСТСКАЯ ЛОГИКА] Гливенко опроверг гипотезу о трехзначности этой логики и дал формальные доказательства некоторых ее замечательных теорем: о неложности исключенного третьего закона [ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН] и о ложности в этой логике любого суждения, ложность которого доказана на основе этого закона. В 1929 в статье «О некоторых аспектах логики Брауэра» (Sur quelques points de la Logique de M.Brouwer, рус. пер., 1998) Гливенко осуществил первую полную аксиоматизацию пропозициональной интуиционистской логики (логики суждений) и на ее основе дал общий ответ на вопрос о том, какие именно суждения (в рамках логики суждений) классической логики сохраняют силу и в интуиционистской логике.

Сочинения:

1. Sur la Logique de M.Brouwer. – Académie Royale de Belgique. Bulletins de la classe de sciences, 1928, sér. 5, 14;

2. Sur quelques points de la Logique de M.Brouwer. – Ibid., 1929, sér. 5, 15 (рус. пер.: Труды научно-исследовательского семинара логического центра Института философии РАН. М., 1998);

3. Логика противоречия. – В кн.: Сб. работ математического раздела Коммунистической Академии, т. 1. М., [1929] с. 100–104;

4. Понятие дифференциала у Маркса и Адамара. – «Под знаменем марксизма», 1934, № 5, с. 79–85;

5. Кризис основ математики на современном этапе его развития. – В кн.: Сб. статей по философии математики. М., 1936, с. 69–83;

6. Менделеевская алгебра, Доклады АН СССР, 1936, т. 4 (13);

7. Общая теория предела функции, Записки Государственного педагогического института им. К.Либкнехта, 2 (1938), с. 3–15.

Литература:

1. Колмогоров А.Н. Валерий Иванович Гливенко (Некролог). – «Успехи математических наук», 1941, вып. 8;

2. Яновская С.А. Основания математики и математическая логика. – В кн.: Математика в СССР за тридцать лет, 1917–1947, с. 30–31;

3. Новосёлов M.M. К истории дискуссий об интуиционистской логике. – В кн.: Историко-математические исследования. Вторая серия. Выпуск 5 (40). М., 2000. (Кн. содержит уточненные рус. пер. указанных выше статей Гливенко.)

M.M.Новосёлов