Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ЛАТИНСКОЕ ПИСЬМО , буквенное письмо, которым пользовались древние римляне. Сохранилось у большинства народов Зап. Европы, легло в основу письменностей многих языков мира. Восходит к греческому письму. Собственно латинский алфавит (латиница) сложился в 4-3 вв. до н. э.,...