Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Продолжение дневника доктора Борменталя: «Фотографирован во время улыбки при магнии. Встал с постели и уверенно держался полчаса на задних лапах. Моего почти роста.