ГЛИВЕНКО Валерий Иванович (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.Новосёлов
|
|||||
|
 |
|