Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В течение 2 января наши войска в районе Среднего Дона, юго-западнее и южнее Сталинграда, на Центральном фронте и на Северном Кавказе вели наступательные бои. Наши войска овладели районным центром Дубовское, железнодорожной станцией Ремонтная и район...>>> Смотреть календарь
ГМЕЛИН Леопольд (1788-1853) , немецкий химик. Автор "Руководства по теоретической химии" (т. 1-2, 1817-19), которое ныне широко известно как "Справочник по неорганической химии" Гмелина (8-е изд., начатое в 1924, продолжается).