Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ЭЛЛИПТИЧЕСКИЕ ГАЛАКТИКИ (обозначаются Е) , наблюдаются как туманности эллиптических очертаний, с сильной концентрацией свечения к центру; распространенность - до 25% от общего числа галактик.