Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
ДЮНКЕРКСКАЯ ОПЕРАЦИЯ , 26.5-4.6.1940, во время 2-й мировой войны. Эвакуация в Великобританию английских, части французских и бельгийских войск, блокированных немецко-фашистскими армиями в районе Дюнкерка. Из-за просчета немецко-фашистского командования и благодаря героизму...