Гливенко Валерий Иванович (original) (raw)
XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА
Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
Гливенко Валерий Иванович
Гливенко Валерий Иванович (2 января 1897 (21 декабря 1896), Киев —12 февраля 1940, Москва) — советский математик и логик, доктор физико-математических наук, профессор (1928). Окончил Московский университет (1925), автор обобщающих исследований в теории интегрирования (Интеграл Стилтьеса. М.—Л., 1936), аксиоматике теории вероятностей (Курс теории вероятностей. М.—Л., 1939), теории структур (Theorie generate des structures. P., 1938) и логике. В 1928 в статье «О логике Брауэра» (Sur la Logique de M. Brouwer, рус. пер., 1998) в связи с проблемой семантической интерпретации интуиционистской логики Гливенко опроверг гипотезу о трехзначности этой логики и дал формальные доказательства некоторых ее замечательных теорем: о неложности исключенного третьего закона и о ложности в этой логике любого суждения, ложность которого доказана на основе этого закона. В 1929 в статье «О некоторых аспектах логики Брауэра» (Sur quelques points de la Logique de M. Brouwer, рус. пер., 1998) Гливенко осуществил первую полную аксиоматизацию пропозициональной интуиционистской логики (логики суждений) и на ее основе дал общий ответ на вопрос о том, какие именно суждения (в рамках логики суждений) классической логики сохраняют силу и в интуиционистской логике.
М. М. Новосёлов
Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 532-533.
Далее читайте:
Философы, любители мудрости (биографический указатель).
Сочинения:
Sur la Logique de M. Brouwer. — Academie Royale de Belgique. Bulletins de la classe de sciences, 1928, ser. 5, 14; Sur quelques poinls de la Logique de M. Brouwer. — Ibid., 1929, ser. 5, 15 (рус. пер.: Труды научно-исследовательского семинара логического центра Института философии РАН. М., 1998); Логика противоречия. — В кн.: Сб. работ математического раздела Коммунистической Академии, т. 1. М., [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). М., 2000. (Кн. содержит уточненные рус. пер. указанных выше статей Гливенко.)
