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

ГЛИВЕ́НКО Валерій Іванович (21. 12. 1896(02. 01. 1897), Київ — 15. 02. 1940, Москва) — математик. Доктор фізико-математичних наук (1928), професор (1928). Закін. Моск. університет (1925). Працював у Моск. міському пед. ін­ституті (1928–40, проф.). Наукові дослідже­н­ня: основи математики, матем. логіки, теорії функцій дійсної змін­ної і теорії ймовірностей. Показав, що по­двійне заперече­н­ня кожного істин. твердже­н­ня класич. логіки можна довести в «інтуїціоністській» логіці. Одночасно з А. Колмогоровим і А. Гейтінґом роз­робив формальну систему кон­структивної логіки. У теорії функцій дав одне з найбільш заг. означень границі й дослідив будову неявних функцій, за­даних за допомогою неперервних функцій; у теорії ймовірностей роз­робляв аксіоматизацію поня­т­тя події без за­стосува­н­ня інтер­претації; у матем. статистиці довів теорему про рівномірну збіжність емпірич. закону роз­поділу до за­даного теоретичного. Роз­робляв також теорію структур.

Завантажити статтю