Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ИСПЫТАТЬ -аю, -аешь; -ытанный; сов. 1. кого-что. Проверить в работе. Я. самолет. И. нового работника. 2. что. Изведать на опыте, пережить. Я. нужду, горе. И. радость, удовлетворение. II несов. испытывать, -аю, -аешь. II сущ. испытание, -я, ср. (к 1 знач.). I...