Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Ни зги не видно«Хоть глаз выколи», «тьма кромешная», «тьма египетская» и «ни зги не видно» - так образно мы можем сказать о густой, непроглядной темноте. Но что такое «зга», которую никогда не бывает видно? Это известно не многим. Кстати, о происхождении этого слова спорят до сих пор даже языковеды. Одни считают, что «зга» - название металлического колечка на...