Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Гадать на кофейной гущеСейчас в обиходе в основном растворимый кофе, а не так давно этот напиток варили исключительно из молотых, прожаренных кофейных зерен (истинные ценители делают это до сих пор). Сваренный кофе разливали по чашечкам, и когда напиток был выпит, там оставался толстый слой кофейной гущи. Чашку переворачивали и, после того как гуща растекалась по краям, всматривались в...