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