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