Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ЛЮТЕЦИЙ (Lutetium), Lu, химический элемент III группы периодической системы, атомный номер 71, атомная масса 174,967; относится к редкоземельным элементам; металл. Открыт французским химиком Ж. Урбеном в 1907.