Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
БЕЛЬВЕДЕР (итал. Belvedere, букв. прекрасный вид). Надстройка над зданием, обычно круглая в плане; павильон, беседка на возвышенном месте; название некоторых дворцов, расположенных в живописном природном окружении (например, в Ватикане).