Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
БУЛВЕР-ЛИТТОН (Bulwer-Lytton) Эдуард (1803-73) , барон, английский писатель. Роман из жизни великосветского общества "Пелем" (т. 1-3, 1828), исторический роман "Последние дни Помпеи" (1834), драмы ("Ришелье", 1839).