Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ГИАЦИНТ , род многолетних луковичных растений семейства лилейных. 4 вида, часто объединяемые в один, в Средиземноморье. Многочисленные сорта с цветками разнообразной окраски и формы, собранными в соцветия, используют в декоративном садоводстве.