9.10. Формула

9.10. Формула

Место древнего Египта и Вавилона в истории математики можно определить следующим образом: в этих культурах впервые появилась формула. Под формулой мы понимаем не только буквенно-цифровое выражение современного алгебраического языка, но вообще всякий языковый объект, являющийся точным (формальным) предписанием, как производить преобразование L₁ ? L₂ или какие-либо вспомогательные преобразования в рамках языка. Формулы представляют собой важнейшую часть любой развитой теории, хотя, конечно, не исчерпывают ее, ибо в теорию входит еще семантика языковых объектов L_i. Утверждение о связи между величинами сторон в прямоугольном треугольнике, содержащееся в теореме Пифагора, — это формула, если даже оно выражено словами, а не буквами. Типовая задача с описанием хода решения («делай так!») и с примечанием, что числа могут быть произвольны (это может быть не высказано, но подразумеваться), — это тоже формула. Именно такие формулы и дошли до нас в египетских папирусах и на вавилонских глиняных табличках.

¹ См. замечания И.Н. Веселовского к переводу книги: Ван дёр Варден Б. Пробуждающаяся наука. М.: Физматгиэ, 1959.

² C небольшими сокращениями.

³ Этот отрывок дошел до нас через Прокла (V в.н.э) — комментатора Евклида.