Гливенко Валерий Иванович

1897-1940

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ 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. (Кн. содержит уточненные рус. пер. указанных выше статей Гливенко.)

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС