Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В Дрездене под управлением автора состоялась первая постановка оперы Рихарда ВАГНЕРА «Летучий голландец».
>>> Смотреть календарь
КЕССОН (от франц . caisson - ящик), 1) ограждающая конструкция в виде бетонной (или железобетонной) камеры для создания под водой или в водонасыщенном грунте рабочего пространства, свободного от воды. Используется преимущественно при устройстве мостовых опо...