Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В течение 2 января наши войска в районе Среднего Дона, юго-западнее и южнее Сталинграда, на Центральном фронте и на Северном Кавказе вели наступательные бои. Наши войска овладели районным центром Дубовское, железнодорожной станцией Ремонтная и район...>>> Смотреть календарь
ПИНСОН (Pinzon) , испанские мореплаватели, братья: 1) Висенте Яньес (1460 - ок. 1524), участник 1-й экспедиции Х. Колумба 1492-93. В 1499-1500 руководил экспедицией, которая открыла устье р. Амазонка, берег Гвианы (независимо от А. Охеды), устье р. Ориноко ...