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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
В Руниверсалис есть статьи о других людях с такой фамилией, см. Гливенко.
Валерий Иванович Гливенко
Дата рождения 2 января 1897 (21 декабря 1896)(1896-12-21)
Место рождения Киев
Дата смерти 15 февраля 1940(1940-02-15) (43 года)
Место смерти Москва
Страна  Российская империя,
РСФСР (1917—1922),
 СССР
Научная сфера математика
Альма-матер МГУ (1925)
Учёная степень доктор физико-математических наук
Научный руководитель Н. Н. Лузин

Валерий Иванович Гливенко (21 декабря 1896 (Григорианский календарь) / 2 января 1897 (Юлианский календарь), Киев — 15 февраля 1940, Москва) — советский математик и логик, с 1928 профессор Московского педагогического института им. К. Либкнехта, доктор физико-математических наук.

Биография

Окончил Московский университет (1925). Преподавал в Московском индустриальном педагогическом институте, который был объединен с Московским педагогическим институтом (сейчас Московский педагогический государственный университет), пока не умер в возрасте 43 лет.[1][2]

Основные труды посвящены логике, основаниям математики, теории функций действительного переменного, теории вероятностей и математической статистике. Изучал математические рукописи К. Маркса.

Некоторые результаты

В.И. Гливенко доказал, что в рамках интуиционистской логики Брауэра двойное отрицание каждого истинного предложения классической логики доказуемо в логике Брауэра.[2]

Независимо от Анри Картана дал общее определение предела, эквивалентное пределу вдоль фильтра[2], построил "менделевскую алгебру"[2][3][4], разновидность генетической алгебры, позволяющую описывание менделевское наследование.

Труды

  • Гливенко В. И. Интеграл Стилтьеса, 1936
  • Гливенко В. И. Понятие дифференциала у Маркса и Адамара. // Под знаменем марксизма, 1934, № 5, С.79-85
  • Glivenko, V. Théorie générale des Structures, 1938

См. также

Примечания

  1. ↑ Eckart Menzler-Trott, Logic’s lost genius: the life of Gerhard Gentzen, tr. Craig A. Smoryński and Edward R Griffor, p. 95.
  2. ↑ 2,0 2,1 2,2 2,3 Колмогоров, A. Валерий Иванович Гливенко (1897-1940) (некролог) (рус.) // УМН. — 1941. — Т. 8. — С. 379—383.
  3. ↑ Яглом И.М. Математические структуры и математическое моделирование. — М.: Сов. радио, 1980. — С. 127. — 144 с.
  4. ↑ Гливенко В.И. Менделевская алгебра // Доклады АН СССР. — 1936. — Т. 13. — С. 61-63.

Ссылка

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Гливенко,_Валерий_Иванович&oldid=13755733