Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В Дрездене под управлением автора состоялась первая постановка оперы Рихарда ВАГНЕРА «Летучий голландец».
>>> Смотреть календарь
ЛЕЖМЯ нареч. (прост.). В лежачем горизонтальном положении. Положить л. Л. лежать (не вставая, не имея сил встать).