Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Буриданов оселИной раз кого-либо говорят: «Он оказался в положении буриданова осла». Что означает? Чем осел Буридана отличается от своих собратьев? Кто такой Буридан? Философы позднего средневековья выдвинули теорию, по которой поступки живых существ зависят не от их собственной воли, а исключительно от внешних причин. Принято считать, что ученый Буридан (точнее, Бюридан), живший во Франции в XIV...