Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В течение 2 января наши войска в районе Среднего Дона, юго-западнее и южнее Сталинграда, на Центральном фронте и на Северном Кавказе вели наступательные бои. Наши войска овладели районным центром Дубовское, железнодорожной станцией Ремонтная и район...>>> Смотреть календарь
ПИГМЕИ группа народов: тва, бинга, бибайя, гиелли, эфе, канго, ака, мбути общей численностью 350 тыс. чел., относящихся к негрилльской расе, коренное население Тропической Африки. Название произошло от греческого pygmaios (буквально - размером с кулак). ...