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

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