Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
КОЛУМБ (лат . Columbus, итал. Colombo, исп. Colon) Христофор (1451-1506), мореплаватель. Родился в Генуе. В 1492-93 руководил испанской экспедицией для поиска кратчайшего морского пути в Индию; на 3 каравеллах ("Санта-Мария", "Пинта" и "Нинья") пересек Атла...