Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Первое боевое применение вертолетов: три машины конструктора СИКОРСКОГО приняли участие в сопровождении британского атлантического конвоя.
>>> Смотреть календарь
ИДЕН (Eden) Антони , лорд Эйвон (Avon) (1897-1977), премьер-министр Великобритании в 1955-1957, консерватор. В 1935-38, 1940-45, 1951-55 министр иностранных дел, в 1939-40 министр по делам колоний.