Гливенко Валерий Иванович
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Г >

ссылка на XPOHOC

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

1897-1940

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


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
1937-й и другие годы

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

Гливенко Валерий Иванович (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 года,

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

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