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