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

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

[21 дек. 1896 (2 янв. 1897) — 15 февр. 1940] — сов. математик. В трудах по основаниям математики и математич. логике одним из первых рассматривал вопросы обоснования математики. Г. доказал, что двойное отрицание каждого истинного предложения классич. логики суждений доказуемо в "интуиционистской" логике. В теории множеств и теории функций Г. дал наиболее общее определение предела и исследовал строение неявных функций, определенных при помощи непрерывных функций. В математич. статистике Г. доказал теорему о равномерной сходимости эмпирич. закона распределения к заданному теоретическому. В последние годы жизни работал над теорией структур.

Лит.: Математика в СССР за тридцать лет 1917—1947. (Сб. статей, под ред. А. Г. Куроша [и др.], М.—Л., 1948 имеется библиография трудов Г.); Колмогоров А. Н., Валерий Иванович Гливенко (1897—1940) [Некролог], "Успехи математических наук", 1940, вып. 8.



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

(2.1.1897—15.2.1940) — советский математик и логик. Род. в Киеве. Окончил Моск. ун-т (1925). Проф. (1928), д-р физико-матем. наук (1936). С 1928 работал в Моск. городском пед. ин-те. Осн. труды по основаниям математики и матем. логике, теории функций действительного переменного и теории вероятностей. Г. доказал, что двойное отрицание каждого истинного предложения классической логики доказуемо в "интуиционистской" логике. В теории множеств и теории функций дал наиболее общее определение предела и исследовал строение неявных функций, определенных с помощью непрерывных функций. В матем. статистике доказал теорему о равномерной сходимости эмпирического закона распределения к заданному теоретическому. В последние годы жизни работал над теорией структур. Изучал матем. рукописи К. Маркса.


Большая биографическая энциклопедия. 2009.

Игры ⚽ Нужен реферат?

Смотреть что такое "Гливенко, Валерий Иванович" в других словарях:

  • ГЛИВЕНКО — Валерий Иванович [21 дек. 1896 (2 янв. 1897) – 15 февр. 1940 ] – сов. логик и математик; д р физико математич. наук, профессор (с 1928). В 1928 в статье О логике М. Брауэра ( Sur la logique de M. Brouwer ) сформулировал систему аксиом… …   Философская энциклопедия

  • Gliwenko — Waleri Iwanowitsch Gliwenko (russisch Валерий Иванович Гливенко; * 21. Dezember 1896jul./ 2. Januar 1897greg. in Kiew; † 15. Februar 1940 in Moskau) war ein russischer Mathematiker und Logiker. Nach ihm und Francesco Cantelli wurde der… …   Deutsch Wikipedia

  • Valery Glivenko — Waleri Iwanowitsch Gliwenko (russisch Валерий Иванович Гливенко; * 21. Dezember 1896jul./ 2. Januar 1897greg. in Kiew; † 15. Februar 1940 in Moskau) war ein russischer Mathematiker und Logiker. Nach ihm und Francesco Cantelli wurde der… …   Deutsch Wikipedia

  • Valery Ivanovich Glivenko — Waleri Iwanowitsch Gliwenko (russisch Валерий Иванович Гливенко; * 21. Dezember 1896jul./ 2. Januar 1897greg. in Kiew; † 15. Februar 1940 in Moskau) war ein russischer Mathematiker und Logiker. Nach ihm und Francesco Cantelli wurde der… …   Deutsch Wikipedia

  • Waleri Gliwenko — Waleri Iwanowitsch Gliwenko (russisch Валерий Иванович Гливенко; * 21. Dezember 1896jul./ 2. Januar 1897greg. in Kiew; † 15. Februar 1940 in Moskau) war ein russischer Mathematiker und Logiker. Nach ihm und Francesco Cantelli wurde der… …   Deutsch Wikipedia

  • Waleri Iwanowitsch Gliwenko — (russisch Валерий Иванович Гливенко; * 21. Dezember 1896jul./ 2. Januar 1897greg. in Kiew; † 15. Februar 1940 in Moskau) war ein russischer Mathematiker und Logiker. Nach ihm und Francesco Cantelli wurde der… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»