Бурбаки

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

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