Бурбаки

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

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