Бурбаки

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

Подписаться
Уведомить о
guest
0 комментариев
Межтекстовые Отзывы
Посмотреть все комментарии
Сказал как отрезал:
  • На стенку лезть
    Сложилось это «речение» среди воинов старой Руси. Укрепленные города тогда обносились высокими каменными или деревянными стенами. Штурмовать их было крайне опасно и трудно: в атакующих сверху стреляли, их кололи, обливали кипящей водой и смолой, забрасывали камнями. «Лезть на стенку» представлялось пределом опасности, а значит, и отваги. Теперь мы те же слова употребляем в несколько ином...