Бурбаки

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

Подписаться
Уведомить о
guest
0 комментариев
Межтекстовые Отзывы
Посмотреть все комментарии
Сказал как отрезал:
  • Авгиевы конюшни
    Жил-был в стране Элиде, рассказывается в древнегреческой легенде, царь Авгий, страстный любитель лошадей: три тысячи коней ржали в его конюшнях. Однако стойла, в которых содержались лошади, никто не чистил в течение тридцати лет, и они по самую кровлю заросли навозом. По счастью, на службу к царю Авгию поступил сказочный силач Геракл (у римлян он звался...