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