Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Первое боевое применение вертолетов: три машины конструктора СИКОРСКОГО приняли участие в сопровождении британского атлантического конвоя.
>>> Смотреть календарь
ПООТЛИВАТЬ, поотлить, -ся. Поотлей из чашки, проплещешь. | Чугунный
прибор на весь дом поотливали.