888

Бурбаки

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

Подписаться
Уведомить о
guest
0 комментариев
Межтекстовые Отзывы
Посмотреть все комментарии
Сказал как отрезал:
  • Мартышкин труд
    Поговорка эта возникла из басни И. А. Крылова «Обезьяна». Помните, как завистливая мартышка, стараясь заслужить похвалу людей, вздумала трудиться? Нашла чурбан — и ну над ним возиться! Хлопот Мартышке полон рот: Чурбан она то понесет, То так, то сяк его обхватит, То поволочет, то покатит; Рекой с бедняжки льется пот; И, наконец, она, пыхтя, насилу...