Смотреть больше слов в «Литературной энциклопедии»
ГЛИВЕ́НКО Валерий Иванович [21 дек. 1896 (2 янв. 1897) – 15 февр. 1940 ] – сов. логик и математик; д-р физико-математич. наук, профессор (с 1928). В... смотреть
ГЛИВЕНКО Иван Иванович (1868—) — историк всеобщей лит-ры. Р. в семье земского фельдшера. Впервые выступил в печати в 1893 («Северный вестник», ... смотреть
ГЛИВЕНКО Иван Иванович (1868-) - историк всеобщей лит-ры. Р. в семье земского фельдшера. Впервые выступил в печати в 1893 («Северный вестник», перевод... смотреть
Константин Гаврилович (куб.) - рожд. 1860 г.. ст. Пластуновской; участник многих войн и борьбы за Казачий Присуд в гг. 1912—20; умер эмигрантом 22 февр... смотреть
[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. ... смотреть
Гливенко, Иван Иванович (12 апр. 1868 — не ранее 1913) — литературовед, переводчикПсевдонимы: И. И. Г.Источники:• Масанов И.Ф. Словарь псевдонимов рус... смотреть
куб.) - рожд. 1860 г.. ст. Пластуновской; участник многих войн и борьбы за Казачий Присуд в гг. 1912-20; умер эмигрантом 22 февраля 1940 г. в гор. Шабце (Югославия).... смотреть