Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ТРИТИЙ Т радиоактивный тяжелый изотоп водорода с массовым числом 3, период полураспада 12,35 года; газ, tкип -250,23°C. Тритий используют в термоядерном синтезе, как изотопный индикатор и др.; входит в состав термоядерного заряда. Открыт английскими физ...