Большая Советская Энциклопедия (АР)

  Сравнительно медленный прогресс А. в средние века сменяется к началу 17 в. быстрым усовершенствованием приёмов вычисления в связи с возросшими практическими запросами к технике вычислений (задачи мореходной астрономии, механики, усложнившиеся коммерческие расчёты и т.п.). Дроби со знаменателем 10, употреблявшиеся ещё индийцами (при извлечении квадратных корней) и неоднократно обращавшие на себя внимание и европейских учёных, применялись сначала в неявной форме в тригонометрических таблицах (в форме целых чисел, выражающих длины линий синуса, тангенса и т.д. при радиусе, принятом за 10⁵). Впервые (1427) подробно описал систему десятичных дробей и правила действий над ними аль-Каши. Запись десятичных дробей, по существу совпадающая с современной, встречается в сочинениях С. Стевина в 1585 и с этого времени получает повсеместное распространение. К той же эпохе относится изобретение логарифмов в начале 17 в. Дж. Непером. В начале 18 в. приёмы выполнения и записи вычислений приобретают современную форму.

  В России до начала 17 в. применялась нумерация, сходная с греческой; хорошо и своеобразно была разработана система устной нумерации, доходившая до 50-го разряда. Из русских арифметических руководств начала 18 в. наибольшее значение имела высоко оцененная М. В. Ломоносовым «Арифметика» Л. Ф. Магницкого (1703). В ней содержится следующее определение А.: «Арифметика или числительница, есть художество честное, независтное, и всем удобопонятное, многополезнейшее, и многохвальнейшее, от древнейших же и новейших, в разные времена живших изряднейших арифметиков, изобретенное, и изложенное». Наряду с вопросами нумерации, изложением техники вычисления с целыми числами и дробями (в т. ч. и десятичными) и соответствующими задачами в этом руководстве содержатся и элементы алгебры, геометрии и тригонометрии, а также ряд практических сведений, относящихся к коммерческим расчётам и задачам навигации. Изложение А. приобретает уже более или менее современный вид у Л. Эйлера и его учеников.

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

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

  И. Ньютон, впервые высказавший общее определение числа как отношения двух значений какой-либо величины, всё ещё избегал, однако, записывать найденные им законы в виде формул, выражающих значение одной из величин через значения других, неоднородных с ней, и предпочитал придавать такого рода соотношениям форму пропорций. Например, у₁/у₂ = x²/x² вместо соответствующей формулы

  Современная точка зрения, согласно которой все буквы в формулах означают просто числа и действия производятся над числами, равноправными между собой, независимо от их конкретного происхождения, ещё и сейчас в элементарном преподавании иногда осознаётся не в достаточной степени (это сказывается в наименованиях при записи действий, в избыточной осторожности при определении производных физ. величин и т.п.).

  Аксиоматическое построение арифметики. Начало следующего этапа — аксиоматических построение А. — относится уже к 19 в. и связано с общим процессом критического пересмотра логических основ математики, в котором важнейшую роль сыграли, в частности, работы Н. И. Лобачевского по геометрии. Самая простота и очевидная бесспорность начальных положений А. затрудняли выделение основных положений — аксиом и определений, которые могли бы служить исходным пунктом построения теории. Первые намёки на возможность такого построения имеются уже в доказательстве соотношения 2 ´ 2= 4, данном Г. Лейбницем (см. ниже).