Философская энциклопедия - гливенко

ГЛИВЕ́НКО

Валерий Иванович [21 дек. 1896 (2 янв. 1897) – 15 февр. 1940 ] – сов. логик и математик; д-р физико-математич. наук, профессор (с 1928). В 1928 в статье "О логике М. Брауэра" ("Sur la logique de M. Brouwer") сформулировал систему аксиом "интуиционистского" (см. Интуиционистская логика) исчисления высказываний и доказал, что для этого исчисления не существует эквивалентного ему трехзначного исчисления (см. Многозначная логика). В 1929 в ст. "О некоторых вопросах логики М. Брауэра" ("Sur quelques points de la logique de M. Brouwer") доказал, что если нек-рое выражение доказуемо в классич. исчислении высказываний, то в интуиционистском исчислении доказуемо его двойное отрицание, а если в классич. исчислении высказываний доказуемо отрицание нек-рого выражения, то отрицание этого выражения доказуемо и в интуиционистском исчислении высказываний. В 1934 в ст. "Кризис основ математики на современном этапе его развития" Г. подверг критике идеалистич. филос. основы формализма, эффективизма и интуиционизма. Г. исследовал понятие дифференциала в "Математических рукописях" Маркса.

Ему принадлежат работы по теории структур (см. Структуры), по теории вероятности, по применению математич. методов в генетике и др.

Соч.: Sur la logique de M. Brouwer, "Bull. Acad. Royale de Belgique. Bull, de la classe des sciences", Brux., 1928, t. 14, ser. 5, p. 225–28; Sur quelques points de la logique de M. Brouwer, там же, 1929, t. 15, ser. 5, p. 183–88; Логика противоречия. Сб. работ математического раздела, т. 1, М., [1929], с. 100–104; Понятие диференциала у Маркса и Адамара, "Под знаменем марксизма", 1934, No 5, с. 79–85; Кризис основ математики на современном этапе его развития, "Фронт науки и техники", 1934, No 5–6, с. 52–59; Кризис основ математики на современном этапе его развития. Сб. статей по философии математики, М., 1936, с. 69–83; Менделеевская алгебра, "Докл. АН СССР", 1936, т. 4(13), No 8 (112), с. 371–72; Курс теории вероятностей, М.–Л., 1939.

Лит.: Колмогоров А. Н., Валерий Иванович Гливенко. (1897–1940). [Некролог], "Успехи математических наук", 1941, вып. 8, с. 379–83; Яновская С. Α., Основания математики и математическая логика. Математика в СССР за тридцать лет, 1917–1947, М.–Л., 1948, с. 11–50.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.