WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте

История математических обозначений — история разработки символов, используемых для компактной записи математических уравнений и формул. Помимо индо-арабских цифр и букв различных алфавитов (латинского, в том числе в готическом начертании, греческого и еврейского), математический язык использует множество специальных символов, изобретённых за последние несколько столетий.

Хорошо продуманные обозначения, отражающие свойства изучаемых объектов, помогают избежать ошибок или неправильной трактовки, переносят часть исследования на технический уровень, нередко «подсказывают» правильный путь к решению задачи. По словам Альфреда Уайтхеда, удачное обозначение освобождает мозг от ненужной работы, тем самым позволяя ему сосредоточиться на более важных задачах[1].

Первоначально (например, в «Началах» Евклида) математические утверждения формулировались словесно. Такая запись была громоздкой, часто неоднозначной, а алгебраические преобразования требовали незаурядной квалификации. Большой вклад в развитие обозначений внёс Франсуа Виет (XVI век); в частности, он начал использовать буквенные обозначения вместо конкретных чисел. Постепенно практически все слова в математических формулах (обозначения операций, отношений сравнения и т. д.) были заменены специальными символами — математика обрела собственный язык, не требующий перевода, язык с чётко определённым смыслом «слов» и строгой грамматикой, позволяющий выводить из истинных утверждений другие, столь же истинные.

Роль символических обозначений в математике

Преимуществами символических обозначений являются компактность, однозначность толкования, лёгкость преобразований. Лейбниц в письме Чирнгаузу (1678) писал[2]:

Следует заботиться о том, чтобы обозначения были удобны для открытий. Это достигается в наибольшей мере тогда, когда знаки коротко выражают и как бы отображают глубочайшую природу вещи; при этом удивительным образом сокращается работа мышления.

Немецкий историк Йозеф Петер Тройтляйн (Josef Peter Treutlein, 1845—1912) заметил по поводу символики, что нигде интеллектуальное содержание не связано с формой его представления так тесно, как в математике, так что для развития и углубления содержания часто необходимо усовершенствовать форму[3].

Другой историк математики, Мориц Кантор, указывает требования к математическому обозначению[4]:

  1. Оно должно ясно и однозначно отражать то понятие или операцию, для которой предназначено.
  2. Оно должно быть кратким и удобным (лёгким для написания и печати).
  3. Оно должно обладать достаточной гибкостью, чтобы допускать при необходимости распространение своего смысла на более широкие области.

Эти высказывания поясняют, в каком направлении исторически развивалась система математических обозначений.

Древние числовые системы и зарождение математической символики

В любой цивилизации древнейшим из математических обозначений является нумерация (запись чисел). По способу образования чисел из базовых знаков (цифр) древние системы нумерации делятся на три типа[5]

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

Древний Египет

Иероглифическая запись числа 35 736

Древнеегипетская нумерация поначалу была аналогична более поздней римской: в ней были отдельные знаки для 1, 10, 100, … 10 000 000, сочетавшиеся аддитивно (складываясь). Египтяне писали справа налево, но младшие разряды числа записывались первыми, так что в конечном счёте порядок цифр соответствовал современному. В иератическом письме уже есть отдельные обозначения для каждой цифры от 1 до 9 и сокращённые знаки для разных десятков, сотен и тысяч[6].

Особые знаки обозначали дроби вида , а также практически важную дробь . Общего понятия дроби у них не было, и все неканонические дроби представлялись как сумма аликвотных дробей. Типовые разложения были сведены в громоздкие таблицы[6].

Примеры изображения часто встречающихся дробей
Aa13
r
Z2
D22
r
Z1 Z1 Z1 Z1
r
Z1 Z1 Z1 Z1 Z1

Пример записи дробей из Папируса Ринда[7]:

Z2
Z1 Z1
Aa16r
Z1 Z1 Z1 Z1
Z2
r
10
Z1Z1Z1Z1

5 + 12 + 17 + 114 (значение: 5 57)

Для обозначения операций сложения и вычитания использовался один из иероглифов:

D54
или
D55

Если направление «ног» у этого иероглифа совпадало с направлением письма, тогда он означал «сложение», в других случаях он означал «вычитание». Для умножения и деления специальных обозначений не было[8].

Вавилон

Вавилонская табличка (около 1800—1600 годов до н. э.) с вычислением

= 1,41421296…

Шумеры и вавилоняне использовали шестидесятеричную позиционную систему счисления. Писали они, как и европейцы, слева направо. Однако запись необходимых 60 цифр клинописью была своеобразной. Знаков для цифр было всего два, обозначим их Е (единицы) и Д (десятки); позже появился значок для нуля. Цифры от 1 до 9 изображались как Е, ЕЕ, … ЕЕЕЕЕЕЕЕЕ. Далее шли Д, ДЕ, … ДДДДДЕЕЕЕЕЕЕЕЕ (59). Таким образом, число изображалось в позиционной шестидесятеричной системе, а его шестидесятиричные цифры — в аддитивной десятичной. Аналогично записывались дроби. Для популярных дробей 1/2, 1/3 и 2/3 были специальные знаки[9].

При описании алгоритмов решения уравнений знаки для неизвестных были шумерскими, из чего можно сделать вывод о древности этих алгоритмов; эти знаки употреблялись как краткие обозначения неизвестных в современной алгебре[10].

Китай

Китайские цифры обозначались специальными иероглифами, которые появились во 2-м тысячелетии до н. э., а их начертание окончательно установилось к III веку до н. э. Эти иероглифы применяются и в настоящее время. Китайский способ записи чисел изначально был мультипликативным. Например, число 1946 записывалось как 一千九百四十六 — «один-тысяча-девять-сто-четыре-десять-шесть». Однако на практике расчёты выполнялись на счётной доске суаньпань, где запись чисел была иной — позиционной, как в Индии, и, в отличие от вавилонян, десятичной. Нуль сначала обозначался пустым местом, специальный иероглиф появился около XII века н. э. Для умножения и деления на счётной доске были разработаны эффективные алгоритмы, описанные в руководствах словесно[11].

В III веке н. э. под влиянием традиционной в Китае десятичной системы мер появились и десятичные дроби. В письменных источниках десятичные дроби ещё некоторое время изображали в традиционном (не позиционном) формате, но постепенно позиционная система вытеснила традиционную[12].

Древняя Греция

Лист из «Арифметики» Диофанта (копия XIV века). В верхней строке записано уравнение:

Греческая нумерация, как египетская и римская, была аддитивной, то есть числовые значения символов складывались. Первый её вариант (аттическая, или геродианова) содержали буквенные знаки для 1, 5, 10, 50, 100 и 1000. Соответственно была устроена и счётная доска (абак) с камешками. Особый дырявый камешек обозначал нуль. Позднее (начиная с V века до н. э.) вместо аттической нумерации была принята алфавитная — из 24 букв греческого алфавита первые 9 обозначали цифры от 1 до 9, следующие 9 букв — десятки, остальные — сотни. Чтобы не спутать числа и буквы, над числами рисовали чёрточку. Числа, большие 1000, записывали позиционно, помечая дополнительные разряды специальным штрихом (внизу слева). Специальные пометки позволяли изображать и числа, большие 10 000[13]. Древнегреческие учёные первыми стали записывать дроби вертикально — правда, числитель у них стоял не выше, а ниже знаменателя, а черты дроби не было[14].

Алгебраической символики у греков сначала не было. Единственным исключением можно считать краткие обозначения буквами геометрических точек, а также отрезков прямых или дуг окружности по их конечным точкам.

Вершиной античной алгебры стали труды Диофанта Александрийского (III век н. э.). Намного обогнав своё время, он ввёл буквенную символику — пока только для неизвестной величины, которую он обозначает буквой (дзета). Диофант использовал особые символы также для степеней неизвестной, вплоть до шестой, и им обратных величин. Специальный символ (перевёрнутая буква ) означал вычитание следующего за ним числа. Буква (иота, от греч. ἴσος ‘равный’) играла роль знака равенства. Все эти нововведения позволили в общем виде записать, например, правила умножения степеней (в том числе отрицательных), правило знаков при умножении на отрицательное число, способы решения неопределённых уравнений в целых числах[15][16].

Индия

Уже в древнеиндийских текстах на санскрите были предусмотрены средства для именования чисел в десятичной системе счисления[17], вплоть до .

Записанная древнекхмерскими цифрами дата «605 год эры Шака» (683 год): древнейшее изображение нуля (Самбоур, Камбоджа)

Индийская нумерация вошла в историю по двум причинам. Около VI века до н. э. в Индии появились отдельные знаки для цифр от 1 до 9, ставшие прообразом современных европейских цифр; автор их неизвестен, но первые три обозначения совпадают с китайскими. Примерно в 500 году н. э. индийские учёные изобрели десятичную позиционную систему записи чисел. В новой системе выполнение арифметических действий оказалось неизмеримо проще, чем в старых, с неуклюжими буквенными кодами или с шестидесятеричными числами. Для целей новой системы потребовалось введение нового числа — нуля. Учёные расходятся во мнениях, откуда в Индию пришла эта идея — от греков, из Китая или индийцы изобрели этот важный символ самостоятельно[18].

Индийские математики продолжили развитие математической символики, хотя пошли по собственному пути. Сократив соответствующие санскритские термины до одного слога, они использовали их как символы неизвестных, их степеней и свободных членов уравнений. Например, умножение обозначалось знаком гу (от слова гунита, умноженный). Вычитание указывалось точкой над вычитаемым или символом «плюс» правее его. Если неизвестных было несколько, им для определённости присваивали условные цвета. Квадратный корень обозначался слогом «му», сокращением от мула (корень). Для именования степеней использовались сокращения терминов «варга» (квадрат) и «гхава» (куб)[19]:

Степень
Названиевагхава вава гха гхатава гхава ва гха гхатава ва вагха гха

Запись дробей, в отличие от греков, оформлялась по современным правилам: числитель над знаменателем, хотя целую часть смешанной дроби было принято записывать не левее, а над числителем. Сложение и умножение дробей обозначались одинаково — обе дроби просто записывались рядом; тип операции приходилось распознавать из текстовых пояснений. Знака равенства не было, правую часть уравнения записывали под левой, подравнивая одночлены по одинаковым степеням неизвестной[20].

Русь

Башенные часы с кириллическими числами в Суздале

Кириллическая система счисления («славянская нумерация») на Руси появилась вместе с кириллицей (IX век) и переняла греческий обычай обозначать цифры с помощью помеченных специальным значком букв. Использовались буквы, аналогичные греческим, а специфически-славянские (б, ж, ш и др.) числовых значений не получили. Исключение было сделано для букв ч и ц, перенявших числовые значения архаичных греческих букв «коппа» и «сампи». Числа записывались как в римско-греческой системе — аддитивно: например, м҃г обозначало 40+3. Для больших чисел (начиная с 1000) использовались особые пометки[21]. Кириллическая система счисления использовалась у восточных славян до XVIII века, после чего всюду, за исключением церковной литературы, была заменена на современную.

Другие народы

Системам нумерации других народов посвящены статьи:

Историческое развитие символики

Средневековье

Математики арабских стран в период примерно с VII по XIII век внесли свой вклад в развитие античных и индийских знаний. В числе прочего они переняли индийскую десятичную позиционную нумерацию и освоили (видимо, независимо от китайцев) десятичные дроби. Первым правила работы с десятичными дробями описал в X веке Ал-Уклидиси, целая часть дроби у него отделялась от дробной апострофом. Подробное описание десятичной арифметики опубликовал аль-Каши в XV веке, но и тогда широкого распространения в исламском мире десятичные дроби не получили. Для отделения дробной части числа аль-Каши использовал вертикальную черту или чернила другого цвета. Хотя термин «алгебра» имеет арабское происхождение, символическая алгебра в исламских странах отсутствовала, все формулы излагались словесно; исключением стали труды испано-мавританского математика ал-Каласади (1486) и его учеников. Ал-Каласади придумал знаки для неизвестного, его квадрата, квадратного корня и знака равенства, однако распространения они не получили[22].

Начиная с XII века, античные и арабские труды стали проникать в Европу и переводиться на латинский язык. Одновременно, особенно в торговой среде, быстро распространяются индийские цифры и правила действий с ними. В первых сочинениях европейских математиков все формулы по-прежнему излагаются словесно. Первый (не слишком удобный) набросок алгебраической символики дал Лука Пачоли, крупнейший алгебраист XV века. Он ввёл в общее употребление обозначения для операции сложения и для вычитания (от итал. piu, meno), вполне аналогичные позднейшим плюсу и минусу. Для квадратного корня Пачоли использовал предложенные ещё Фибоначчи стилизованные буквы , от слова Radix (корень), с пометкой для корней степени выше второй. Пример записи Пачоли[23]:

    современная запись:

Пачоли предложил краткие слоговые обозначения для неизвестной и её степеней, напоминающие индийскую систему, но в 1484 году Николя Шюке опубликовал более удобный проект; например, современный одночлен Шюке записывал просто как Среди других перспективных идей Шюке — использование минуса в качестве признака отрицательных чисел и подчёркивание сложных выражений вместо современных скобок[24][25].

Ещё один важный шаг сделала немецкая алгебраическая школа XV века, называвшая себя коссистами (Пачоли называл неизвестную величину cosa, вещь). В учебнике арифметики Иоганна Видмана (1489) символы сложения и вычитания Пачоли были заменены современными плюсом и минусом. Степени неизвестного коссисты обозначали комбинацией готических букв, эти «коссические знаки» получили некоторое распространение (их влияние заметно даже в «Арифметике» Магницкого, 1703)[26].

XVI век. Симон Стевин и Франсуа Виет

Страница из «Десятой» Стевина; цифры в кружках — номера разрядов десятичных дробей: нулевой обозначает целую часть, первый — десятые, второй — сотые, и т. д.

Спустя столетие после аль-Каши вышла книга Симона Стевина «Десятая» (1585), с которой начинается повсеместное применение десятичных дробей в Европе. Стевин для наглядности указывал над десятичными разрядами их номера в кружках (см. рисунок). Этими же средствами он записывал алгебраические выражения; цифра в кружке обозначала номер переменной, перед ней, если надо, указывалась степень этой переменной: sec (квадрат) или ter (куб). В качестве знаков умножения и деления Стевин использовал буквы M и D соответственно. Стевин свободно использовал дробные показатели степени, также заключаемые им в кружки[27].

Из других устоявшихся обозначений, появившихся в XVI веке, можно назвать знак равенства (1557, Роберт Рекорд) и десятичную запятую (Джованни Маджини, 1592). Немецкий математик Кристоф Рудольф из школы коссистов заменил обозначение Пачоли для квадратного корня на современный знак радикала (1525)[28]. Необычная судьба постигла открытые в XVI веке комплексные числа — введенные поначалу как условные, бессодержательные символы, они два века спустя обрели ясный смысл и доказали огромную практическую пользу в качестве легального математического объекта.

Франсуа Виет

В конце XVI века были опубликованы труды французского математика Франсуа Виета, произведшие революцию в алгебре. Виет поставил целью разработку нового языка, своего рода обобщённой арифметики, которая дала бы возможность проводить математические исследования с недостижимыми ранее глубиной, общностью и доказательной силой. В своих исследованиях Виет сразу решает задачи в общем виде и только потом приводит числовые примеры. Он обозначал буквами не только неизвестные, что уже встречалось ранее, но и все прочие параметры, для которых он придумал термин «коэффициенты» (буквально: содействующие). До Виета обозначение буквенными символами операндов алгебраических законов и исходных данных уравнений эпизодически встречалось у Региомонтана, Кристофа Рудольфа, Адама Ризе, Джероламо Кардано и Михаэля Штифеля, но только Виет сумел верно оценить возможности такого подхода и положить его в основу своей алгебры[29][30].

Виет использовал для именования переменных только заглавные буквы (как в античной геометрии) — гласные для неизвестных, согласные для коэффициентов. Из знаков операций он использовал три: плюс, минус и черту дроби для деления; умножение обозначалось латинским предлогом in. Вместо скобок он, следуя Шюке, надчёркивал сверху выделяемое выражение (в нескольких случаях Виет использовал фигурные скобки). Показатели степени у Виета ещё записываются словесно. Например, в трактате «Об анализе и совершенствовании уравнений» записано уравнение[29]:

В современной записи:

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

XVII век

Алгебраическая символика

В XVII веке продолжателем дела создания символической алгебры после Виета стал английский математик Томас Хэрриот, его главный труд был издан посмертно в 1631 году. Хэрриот упростил символику Виета и сократил запись формул — вместо заглавных букв он использовал строчные, поддержал знак равенства Рекорда, степени заменял умножением: вместо современного . Большим достижением стало введение Хэрриотом знаков сравнения (раньше писали словами: меньше, больше). Вариант символов нестрогого сравнения предложил Валлис в 1670 году[31]. Коэффициенты Хэрриот отделял от букв точкой, так что эта точка фактически играла роль знака умножения, например: (современная запись: Следует отметить, что он первым стал систематически переносить все выражения в левую часть уравнения[32].

Свои усовершенствования ввели Альбер Жирар (1626) и Уильям Отред (1631). У Жирара появились круглые скобки и знак плюс-минус. Квадратный корень к этому времени уже имел очертания, похожие на современные; Жирар предложил записывать показатель кубического и других корней высоких степеней над знаком радикала, и эта конструкция осталась в математике[28][33][34].

Заслугой Отреда является введение следующих символов[35][36]: знака умножения (косой крестик ), знака деления (косая черта ) и символа параллельности . Историки подсчитали, что Отред использовал около 150 различных математических обозначений, своих и чужих. Однако бо́льшая часть из них не выдержала испытания временем — например, конструкции для соответственно или для кубического корня были заменены на более удачные символы[37].

В XVII веке многие ведущие математики пришли к выводу, что показатель степени должен быть выражен явным числом, а не закодирован обозначением основания (как у коссистов) или словесным сокращением вроде Q (квадрат) или C (куб), потому что иначе невозможно записать такие правила действий со степенями, как , а алгебраические преобразования требуют излишних умственных усилий. Варианты оформления записи показателя предложили Жирар, Эригон и другие математики[38].

Рене Декарт

Практически современный вид алгебраический язык получил в середине XVII века у Декарта. Он предложил использовать для известных параметров начальные буквы алфавита: а для неизвестных — последние буквы: Декарт сформировал современную запись степеней: с показателем степени правее и выше переменной; ближе к концу века Ньютон распространил эту запись на дробные и отрицательные показатели. Ф. Кэджори характеризует декартовскую запись степеней как самую удачную и гибкую символику во всей алгебре — она не только облегчает преобразования, но стимулировала расширение понятия возведения в степень на отрицательные, дробные и даже комплексные показатели, а также появление в математике степенной и показательной функции; все эти достижения трудно было бы осуществить при использовании обозначений XVI века[39]

Алгебраическая символика Декарта почти полностью была принята последующими поколениями учёных, лишь необычный декартовский знак равенства, получивший некоторое распространение во Франции и Голландии, был заменён на более удачный символ Роберта Рекорда. Кроме того, были сняты ограничения на коэффициенты, значения которых Декарт считал по умолчанию всегда неотрицательными, а символы отрицательных величин он помечал спереди знаком «минус». Если знак коэффициента был неизвестен, Декарт ставил перед ним многоточие[40]. Нидерландский математик Иоганн Худде уже в 1657 году позволил буквенным переменным принимать значения любого знака[41]. В монографии Ньютона «Универсальная арифметика» (1707), выдержавшей пять переизданий, не считая переводов, используются обозначения Декарта и знак равенства Рекорда. Унификация алгебраических обозначений к концу XVII века в основном завершилась[40].

Геометрия

К началу XVII века в геометрии уже существовали несколько распространённых символов: точки помечались заглавными латинскими буквами, отрезки прямых, дуги кривых, треугольники и другие фигуры указывались буквами граничных точек: и т. п. Прямой угол обозначался буквой d (от фр. droit ‘прямой’). В 1634 году Пьер Эригон ввёл в практику символы для обозначения угла и , означающий «перпендикулярность»[42]. С античных времён употреблялся и символ параллельности, совпадающий с современным знаком равенства; после появления последнего, во избежание путаницы, знак параллельности был повёрнут вертикально[36]: .

На рубеже XVII—XVIII веков появились ещё несколько новых геометрических символов. Английский математик Уильям Джонс впервые использовал обозначение числа (1706 год). Общепринятым это обозначение сделал Эйлер в XVIII веке[43]. В это же время Лейбниц придумал символы для обозначения подобия или конгруэнтности геометрических фигур[44].

Математический анализ

Начало статьи Лейбница «Новый метод максимумов и минимумов, а также касательных» (1684), здесь Лейбниц впервые употребил символ дифференциала

Когда в конце XVII века Исаак Ньютон и Готфрид Лейбниц создали обширный новый раздел математики — математический анализ, — встал вопрос о разработке для него удобной системы обозначений. Ньютон этим почти не занимался, и из предложенных им обозначений в математическом анализе осталась только манера обозначать производную по времени точкой, расположенной над символом функции, например: Это обозначение неудобно для производных высших порядков (более второго). Ньютон также способствовал закреплению в науке символов бесконечно малых («O» большое и «o» малое), которые ранее предложил шотландский математик Джеймс Грегори. В области символики Ньютону принадлежит также идея использования индексов для именования отдельных объектов из оговоренного множества: [45][46].

Ньютон не предложил символа для интеграла, хотя пробовал различные варианты: вертикальную черту над функцией, а также символ квадрата, который стоит перед функцией или окаймляет её. Даже в Англии эти варианты не получили распространения, из крупных математиков их использовал только ученик Ньютона Брук Тейлор (1715). В своих «Началах» Ньютон в ряде мест обозначал сами функции заглавными буквами, а их производные (скорости) — теми же, но строчными[47].

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

Пример — известная формула замены переменной в интеграле :

Она наглядно показывает, почему Лейбниц указывает под интегралом не саму переменную интегрирования, а её дифференциал — только в этом случае правильная формула получается чисто алгебраически, «без лишних усилий мысли»[50].

XVIII век

Леонард Эйлер

Леонард Эйлер, ведущий математик XVIII века, внёс значительный вклад в систему обозначений. Эйлер дал имена трём фундаментальным числовым объектам — e для «числа Эйлера», для отношения длины окружности к её диаметру и i для мнимой единицы[51]. У него появились также символ двойного интеграла по произвольной плоской области (1769), знак суммы (1755)[52], знак («не равно»)[53].

Симон Люилье в 1787 году предложил один из важнейших символов анализа — обозначение предела, «шлифовка» которого разными математиками продолжалась до конца XIX века[54].

XIX век

Весомый вклад в систему обозначений внёс в начале XIX века Карл Фридрих Гаусс. Он является автором общепринятых символов функции «целая часть»: и функции Эйлера, знака произведения: (1812) и символики сравнений по модулю[55].

В XIX веке продолжалось формирование символики математического анализа. У Вейерштрасса в 1841 году появился символ абсолютной величины. Символ ∂ стал обозначать частную производную[46][56]. Утвердилось современное оформление для границ определённого интеграла (Фурье, 1816), а также для криволинейного, поверхностного и объёмного интегралов[57]. К концу века в основном утвердились стандартные обозначения для важнейших функций анализа.

В XIX веке появилось немало новых разделов математики, потребовавших разработки для них специфических удобных обозначений. В частности, в линейной алгебре возникло общепринятое оформление матриц, определителей и действий с ними. С этой деятельностью смыкается создание и начало широкого применения векторного исчисления и векторного анализа, что вызвало появление богатой символики для обозначения векторов, тензоров и операций с ними[58].

В XIX веке было положено начало длительной работе по формализации математической логики, которая была продолжена в XX веке. Первые символы, заменяющие союзы «следовательно» и «потому что», предложил Иоганн Ран ещё в XVII веке. Лейбниц в своих работах по основаниям математической логики не предложил какой-либо новой символики[59]. Развёрнутые системы логических обозначений одновременно опубликовали английские математики Август де Морган и Джордж Буль в 1847 году. Символика де Моргана была далека от современной, местами громоздка, а Буль старался не изобретать новых символов (он использовал обычные арифметические знаки операций, которым придал логический смысл), но фактически он определил символы для базовых логических операций — конъюнкции, дизъюнкции и отрицания. Тем самым был создан первый набросок алгебры для логических объектов («Булевой алгебры») и разработаны правила логических преобразований[60].

В конце XIX века в трудах Георга Кантора появились первые символы теории множеств, они касались в основном мощности основных множеств математики и операций со знаками мощности. Новым идейным этапом в математической логике стали две монографии Готлоба Фреге (1879 и 1893 годы), но разработанная Фреге логическая символика была неудачной, и, кроме общих идей и «знака выводимости» , мало что из неё осталось в науке. Почти одновременно вышли в свет работы Эрнста Шрёдера (1877 и 1890) и Джузеппе Пеано (1895 и 1897) с оригинальными символами, часть которых (в частности, квантор существования ∃, символы «содержит» ∋ и «содержится» ∈) остались в науке.

В работе 1895 года Пеано уверенно заявил: можно изменить форму обозначений, можно некоторые убрать и добавить другие, но «мы теперь в состоянии выразить все математические утверждения с помощью небольшого числа знаков, которые имеют точный смысл и подчиняются чётко определённым правилам»[61].

XX век

В XX веке были стандартизованы обозначения для интервала вещественных чисел: [62].

Часть аксиом логики из «Principia Mathematica» в обозначениях 1-го издания (символ обозначал импликацию, сейчас чаще используется символ )

✸1.2. ⊦: pp .. p.

✸1.3. ⊦: q .. pq.

✸1.4. ⊦: pq .. qp.

✸1.5. ⊦: p ∨ ( qr ) .. q ∨ ( pr ).

✸1.6. ⊦:. qr .: pq .. pr.

Как уже сказано выше, двум новым разделам математики, возникшим на рубеже XIX—XX веков — математической логике и теории множеств, — понадобился обширный комплект новых символов для логических и теоретико-множественных операций. Математики предложили более десятка таких систем обозначений, из которых время отобрало наиболее простые варианты[63]. Фундаментальный труд «Principia Mathematica» Уайтхеда и Рассела значительно продвинул как теорию, так и символику математической логики; за основу были приняты обозначения Пеано в улучшенном начертании. Кроме логических обозначений, Уайтхед и Рассел в своей книге используют во многом родственную ей символику теории множеств, частично охваченную ещё в работах Пеано. Авторы перечислили цели интенсивного использования формальной символики в этой книге[64];

  1. Необходимо обеспечить однозначное понимание читателем материала высокой степени абстрактности.
  2. Хорошо продуманный формализм помогает человеческой интуиции понять тематические идейные мотивы и связи.
  3. Краткость символической записи облегчает её зрительное восприятие.
  4. С помощью символики логическое рассуждение может быть расширено на области, которые обычно предполагались недоступными для математического рассмотрения.

Во второй половине XX века обширная работа по созданию новой символики понадобилась при разработке языков программирования. Проблема в том, что алфавиты этих языков были основаны на кодировке символов ASCII (семи- или восьмибитной), которая не содержат многих оформительских средств, привычных в математике — в частности, в ней нет надстрочных и подстрочных символов, многих диакритических знаков, многих специальных символов (знак корня, плюс-минус) и т. п.[65] Например, декартова запись возведения в степень оказалась очень удачной с алгебраической точки зрения, но отсутствие в ней явного знака операции вынуждает реализовывать это важное средство в языке программирования иным способом, причём в разных языках это делается по-разному (см. подробнее статью Возведение в степень). Например, в Фортране кодируется как a ** b, в Бейсике — как a^b, а часть языков (например, Си или Паскаль) вообще не содержат символа операции возведения в степень и используют для этой цели библиотечные функции[66].

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

История отдельных символов

Алгебра

Объекты

Для обозначения цифр в странах с иероглифической письменностью (Древний Египет, Китай) использовались особые иероглифы, а в странах с фонетическим алфавитом для этого вначале обычно использовались буквы, часто со специальной пометкой. Построенные таким образом римские цифры иногда используются до сих пор. В Индии с VI века до н. э. были введены особые знаки для каждой цифры от 1 до 9. Несколько видоизменившись, эти знаки стали современными цифрами[67].

От индийских знаков, показанных в нижней строке (начертание I века н. э.), произошли современные цифры

В связи с изобретением десятичной позиционной системы записи чисел (около 500 года н. э.) понадобился новый знак для нуля. Первый код нуля, имеющий вид привычного нам кружка, в само́й Индии найден на надписи 876 года из Гвалиора[68]. Более ранние надписи с изображением нуля обнаружены в Юго-Восточной Азии: относящаяся к 683 году надпись на каменной табличке из развалин храма времён древнекхмерского царства Ченла (по современному административному делению — округ Самбоур[en] в камбоджийской провинции Кратьэх), и датируемая тем же (или следующим) годом надпись из окрестностей Палембанга (Суматра, Индонезия), который в те времена был столицей древнемалайского царства Шривиджая; в первом случае нуль изображён как жирная точка, во втором — как маленький кружок[69][70].

Учёные и любители предлагали десятки объяснений, почему цифры приняли именно такую форму; одна из таких гипотез известна в изложении А. С. Пушкина[71]. Ф. Кэджори в результате анализа этих объяснений приходит к выводу, что все они представляют собой псевдонаучные фантазии[72].

«Двухэтажная» запись обыкновенной дроби использовалась ещё древнегреческими математиками, хотя знаменатель они записывали над числителем, а черты дроби не было. Индийские математики переместили числитель наверх; через арабов этот формат переняли в Европе. Дробную черту впервые в Европе ввёл Леонардо Пизанский (1202), но в обиход она вошла только при поддержке Иоганна Видмана (1489)[14].

Десятичные дроби впервые встречаются в Китае примерно с III века н. э. при вычислениях на счётной доске (суаньпань)[73]. Персидский математик Джамшид аль-Каши объявил себя изобретателем десятичных дробей, хотя они встречались в трудах Ал-Уклидиси, жившего на 5 веков раньше[74]. В Европе первоначально десятичные дроби записывали как целые числа в некотором оговоренном масштабе. Первые десятичные дроби в Европе описал Иммануил Бонфис около 1350 года, но широкое распространение они получили только после появления сочинения Симона Стевина «Десятая» (1585)[75]. Для наглядности (а также из-за отсутствия общепризнанного десятичного разделителя) Стевин указывал явно номер каждого десятичного разряда — например, число он изображал в следующем виде: . Столь сложное оформление нашло немногих последователей (например, Озанама), большинство математиков сочло его излишним[76].

Десятичная запятая, отделяющая дробную часть числа от целой, введена итальянским астрономом Дж. А. Маджини (1592) и Непером (1617, впрочем, Непер использовал и точку). Ранее вместо запятой ставили иные символы — Виет использовал вертикальную черту: 3|62 или записывал дробную часть более мелкими цифрами[77]; среди других вариантов — ноль в скобках: 3 (0) 62 или двоеточие. Некоторые авторы, следуя аль-Каши, употребляли чернила разного цвета[14][78]. В Англии вместо запятой предпочли использовать предложенную Клавиусом в 1593 году точку, которую ставили посередине строки; эту традицию переняли в США, однако сдвинули точку вниз, чтобы не путать её со знаком умножения Лейбница[79]. Отсутствие унификации символа десятичного разделителя вызвало появление в XVIII—XIX веках множества новых предложений, ни одно из которых не стало общепринятым[80]. Новым фактором во второй половине XX века стало то, что запись числовых констант в большинстве языков программирования допускает в качестве разделителя только англо-американскую точку.

Группировка цифр длинных чисел удобна для их быстрой оценки и сравнения. Рекомендацию на этот счёт сделал уже Леонардо Пизанский (Фибоначчи) в первом издании своей «Книги абака» (1202); он советовал помечать сотни, сотни тысяч и т. д. штрихом сверху, и одновременно помечать тысячи, миллионы и т. д. штрихом снизу. Во втором издании «Книги абака» (1228) Фибоначчи дал другую рекомендацию: помечать тройки цифр скобкой сверху[81], например:

В XIII веке Сакробоско предложил отделять тысячи точками. Лука Пачоли и часть немецких математиков вместо разделительных точек использовали подстрочные, причём число точек соответствовало номеру группы цифр, а Отред употреблял вертикальные чёрточки. В конце концов в большинстве стран победила простая схема Сакробоско, только в Великобритании и США, где точка является десятичным разделителем, она заменена на запятую[81]. В печатных изданиях, по рекомендациям Международного бюро мер и весов и ISO[82][83], преобладает нейтральный вариант, восходящий к Пачоли, в котором тройки цифр разделяются неразрывными пробелами: 678 935 784 105 296.

Один из вариантов записи чисел со знаком, предложенный в XVIII веке; в современной записи:

С признанием практической ценности отрицательных чисел встал вопрос о способе их записи. Николя Шюке в 1484 году предложил ставить перед ними обозначение использовавшееся тогда как знак вычитания. С появлением современных символов плюса и минуса (1489) многие математики стали ставить перед отрицательными числами минус, но часть математиков запротестовала, указывая, что не следует использовать один и тот же символ и как знак числа, и как знак операции вычитания, тем более что минус в роли знака числа легко спутать с тире. Предлагались проекты другой символики для знака числа, например, уголки или изображение убывающей/растущей Луны (см. рисунок). Фаркаш Бойяи предложил использовать для знаков чисел плюс и минус, но выделять их особым начертанием (его плюс походил на мальтийский крест). Всё же двойное употребление минуса закрепилось в науке[84] [85].


Особые знаки (только для неизвестных величин) использовали ещё вавилонские математики, а среди античных греков — Диофант. Виет первым предложил записывать законы и формулы арифметики в общем, символическом виде, заменяя конкретные числа (не только неизвестные, но и разного рода коэффициенты) буквами (1591 год). Виет обозначал неизвестные величины заглавными буквами гласных (A, E, I, O, U, Y), а известные — заглавными согласными[86].

Другие математики (в частности, Иоганн Ран) предлагали использовать в тех же целях различие заглавных и строчных букв. Декарт в 1637 году предложил более удобную систему: для неизвестных величин используются последние буквы алфавита (x, y, z), а для известных — первые (a, b, c…), причём не заглавные, а строчные. Ту же тройку Декарт использовал в качестве символов координат при построении графиков; сам Декарт, впрочем, ограничился плоскими кривыми, активное использование пространственных координат начал позднее Клеро. Это соглашение укоренилось в науке. О причинах выбора Декартом именно букв x, y, z для неизвестных высказывалось множество догадок, ничем, однако, не подтверждённых[87][88].

Букву i как код мнимой единицы: предложил Эйлер в статье De formulis differentialibus secundi gradus, quae integrationem admittunt; статья, написанная в 1777 году, была опубликована (посмертно) в 1794-м. По общему мнению, Эйлер взял для символа мнимой единицы первую букву латинского слова imaginarius (мнимый)[51]. Символ был поддержан Гауссом («Арифметические исследования», 1801) и быстро стал общепринятым, хотя многие математики ещё долго продолжали употреблять явную запись радикала: Некоторое недоразумение возникло, когда физики стали обозначать буквой величину электрического тока; вскоре в электродинамике переменного тока обнаружилась надобность в комплексных числах (для описания колебаний), и во избежание путаницы физики стали обозначать мнимую единицу буквой [89].

0123456789ABCDEF

Необходимость в обозначениях шестнадцатеричных цифр возникла в 1950-е годы, когда появились ЭВМ с восьмибитовым явно адресуемым байтом; его содержимое было наиболее удобно изображать в виде двух шестнадцатеричных цифр. Для обозначения цифр от 0 до 9 использовались те же символы, что и в десятичной системе, а для шестнадцатеричных цифр от 10 до 15 предлагались разные варианты — цифры от 0 до 5 с чёрточкой (макроном) сверху, буквы от U до Z (компьютеры Bendix G-15, 1956); современная кодировка буквами от A до F появилась в серии IBM System/360 (1964)[90].

Операции

Первое печатное появление знаков «плюс» и «минус». Страница из книги Иоганна Видмана (1489)

Знаки плюса и минуса придумали, по-видимому, в немецкой математической школе «коссистов» (то есть алгебраистов). Они используются в учебнике Иоганна Видмана «Быстрый и приятный счёт для всех торговцев» (нем. Behende und hüpsche Rechenung auff allen Kauffmanschafft), изданном в 1489 году. До этого сложение обозначалось буквой p (plus) или латинским словом et (союз «и»), а вычитание — буквой m (minus), сверху эти буквы часто помечались тильдой. У Видмана символ плюса заменяет не только сложение, но и союз «и». Происхождение этих символов неясно, но, скорее всего, они ранее использовались в торговом деле как признаки купли и продажи. Некоторые математики XVI—XVII веков использовали латинский или мальтийский крест как вариации плюса, а вместо минуса предлагали тильду или обелюс. Тем не менее плюс и минус получили общее распространение в Европе — за исключением Италии, которая ещё около века использовала старые обозначения,[91][92][93].

Знак умножения в виде косого крестика ввёл в 1631 году Уильям Отред (Англия). До него использовали чаще всего букву M, предложенную в 1545 году Михаэлем Штифелем и поддержанную Стевином. Позднее предлагались и другие обозначения: латинское слово in (Франсуа Виет), символ прямоугольника в начале произведения и запятую в конце (Эригон, 1634), звёздочка (Иоганн Ран, 1659), буква x (Валлис, 1655, возможно, это типографская ошибка, так как на одной странице у Валлиса встречаются и буква x, и крестик)[35][78][94].

Причиной выбора косого крестика в качестве знака умножения стала, скорее всего, распространённая в те годы схема перекрёстного умножения коротких чисел[95]; это тем более вероятно, что до Отреда косой крестик использовался для обозначения других операций, связанных с разного рода перекрёстными вычислениями[96].

Лейбниц, поэкспериментировав с несколькими разными символами, в конце концов решил заменить крестик на точку (конец XVII века), чтобы не путать его с буквой x; до него такая символика встречалась у Региомонтана (XV век) и Томаса Хэрриота. Многие математики, начиная с Диофанта, вместо знака умножения просто записывали операнды подряд: особенно удобной эта компактная запись оказалась для преобразования буквенных выражений[94][35].

Герон, Диофант и исламские авторы в качестве знака деления использовали горизонтальную черту дроби. В средневековой Европе деление часто обозначали буквой D. Отред предпочитал косую черту или (иногда) знак правой круглой скобки, последняя встречается и у Штифеля: конструкции или означали деление на Двоеточием деление стал обозначать с 1684 года Лейбниц[97].

В Англии и США получил распространение символ (обелюс), который предложил в 1659 году Иоганн Ран (возможно, при участии Джона Пелла, ранее Жирар использовал этот символ как синоним минуса)[98][99]. Попытка Американского национального комитета по математическим стандартам (англ. National Committee on Mathematical Requirements) вывести обелюс из практики (1923) оказалась безрезультатной[100].

Появление квадратных скобок у Бомбелли; записано выражение:

Круглые скобки появились у Тартальи (1556) для подкоренного выражения, позднее они были поддержаны Клавиусом и Жираром[28][101]. Бомбелли (1560) использовал в качестве начальной скобки уголок в виде буквы L, а в качестве конечной — его же, отражённого относительно вертикали (см. рисунок)[C 1]; такая запись стала прародителем квадратных скобок. Фигурные скобки предложил Виет (1593)[28].

Большинство математиков до XVIII века (включая Ньютона) предпочитали вместо скобок надчёркивать (или подчёркивать) выделяемое выражение. Поскольку это усложняло типографский набор, появились и другие способы. Валлис (1655) вместо скобок использовал двоеточия или двоеточие в начале и точку в конце выражения, например: вместо современного Предлагались также различные ограничительные конструкции из точек или запятых, неудобные уже потому, что эти символы широко использовались в иных целях. В общее употребление скобки ввели Лейбниц (примерно с 1708 года) и Эйлер[102][103].

Знак плюс-минус появился у Жирара (1626) и Отреда. Жирар сформировал этот символ следующим образом[33]: знак плюс, под ним слово «или» (фр. ou), а ещё ниже — минус: Ньютон предложил собственный символ: («половина плюса»), не получивший распространения[104].

Возведение в степень. В Европе сначала степень записывали словесными сокращениями (q или Q обозначало квадрат, c или C — куб, bq или qq — биквадрат, то есть 4-я степень и т. д.) или как произведение — например, изображалось как Отред записывал следующим образом: (если неизвестная всего одна, ей часто не присваивался буквенный значок)[105]. Немецкая школа коссистов для каждой степени неизвестной предлагала особый готический значок.

В XVII веке постепенно стала преобладать идея явно указывать показатель степени. Жирар (1629 год) для возведения в степень числа ставил показатель в круглых скобках перед этим числом, а если числа правее показателя не было, то это значило, что подразумевается наличие неизвестного в указанной степени[99]; например, у него означало . Варианты размещения показателя степени предлагали Пьер Эригон и шотландский математик Джеймс Юм, они записывали в виде и соответственно[38].

Современная запись показателя степени — правее и выше основания — введена Декартом в его «Геометрии» (1637), правда, только для натуральных степеней, больших 2 (возведение в квадрат ещё долгое время обозначалось по-старому, произведением). Позднее Валлис и Ньютон (1676) распространили декартову форму записи степени на отрицательные и дробные показатели, трактовка которых к этому времени уже была известна из трудов Орема, Шюке, Стевина, Жирара и самого Валлиса. К началу XVIII столетия альтернативы для записи степеней «по Декарту», как выразился Ньютон в «Универсальной арифметике», «вышли из моды» (out of fashion). Показательная функция, то есть возведение в переменную степень, появилась сначала в письмах, а потом и в трудах Лейбница (1679). Возведение в мнимую степень обосновал Эйлер (1743)[38][106][107].

Символика Кардано (1585): записано равенство
   

Средневековые математики (например, Пачоли и Кардано) обозначали квадратный корень символом или стилизованной комбинацией (от лат. Radix, корень)[108]. Некоторую путаницу вносило то, что в XVI веке сокращения и часто обозначали не только квадратный корень, но и корень уравнения, то есть искомое значение неизвестной; тем не менее эти обозначения были в употреблении у некоторых итальянских и испанских математиков до конца XVII века[109].

Современное обозначение знака корня впервые употребил в 1525 году немецкий математик Кристоф Рудольф из школы коссистов[28]. Происходит этот символ от стилизованной первой буквы того же слова radix. Черта над подкоренным выражением (vinculum) вначале отсутствовала; её позже ввёл Декарт (1637) для иной цели (вместо скобок), и эта черта вскоре слилась со знаком корня[34].

Кубический корень в XVI веке мог обозначаться следующим образом: Rx.u.cu (от лат. Radix universalis cubica), были и другие варианты[108]. С появлением современного знака радикала корни степени выше второй некоторое время обозначалась замысловатыми зигзагами, состоящими из «склеенных» соответствующее число раз знаков радикала, или пометкой после радикала — например, мог обозначаться , где буква С означала «кубический», или Современное обозначение корня произвольной степени с показателем слева вверху начал использовать Альбер Жирар (1629). Закрепился этот формат благодаря Ньютону и Лейбницу[34][110].

Знак суммы ввёл Эйлер в 1755 году[52].

Знак произведения ввёл Гаусс в 1812 году[55].

Обозначение для абсолютной величины и для модуля комплексного числа появились у Вейерштрасса в 1841 году. В 1903 году Лоренц использовал эту же символику для длины вектора[111].

Отношения

Первое печатное появление знака равенства: записано уравнение

В качестве знака равенства математики предлагали самые разные обозначения: подстрочное тире, пробел, слово est, сокращения слова «равно» (aequantur, faciunt) и т. п. Современный символ предложил Роберт Рекорд в 1557 году; начертание символа было намного длиннее нынешнего. Автор пояснил, что нет в мире ничего более равного, чем два параллельных отрезка одинаковой длины. Первоначально размер символа Рекорда был переменным — знак могли удлинять, чтобы записанный после него результат попал в нужную колонку на листе с расчётом[56][112].

Некоторое время распространению символа Рекорда мешало то обстоятельство, что с античных времён такой же символ использовался для обозначения параллельности прямых; в конце концов было решено символ параллельности сделать вертикальным. В Англии в 1630-е годы символ Рекорда приняли почти все крупные математики, от Хэрриота до Ньютона, но Виет и Жирар этот же символ использовали вместо минуса, а Декарт — как признак, что переменная может иметь любой знак. Декарт предложил для равенства другой символ, напоминающий появившийся в тот же период символ бесконечности Валлиса: Довольно экзотический знак равенства из трёх символов: отстаивал Эригон (1644); он же предложил ещё один вариант знака: . Всё это отдалило унификацию столь важного символа; тем не менее во второй половине XVII века символ Рекорда начал вытеснять конкурентов и в континентальной Европе[112] (решающее значение получила поддержка Лейбница и братьев Бернулли) и окончательно утвердился в течение XVIII века[113].

Многие языки программирования используют знак равенства в качестве символа оператора присваивания.

Знак «приблизительно равно» придумал немецкий математик Зигмунд Гюнтер в 1882 году[56][114]. Похожий по смыслу и по начертанию символ состоящий из знака равенства и тильды над ним, использовал ранее (1777) И. Хезелер[de][115].

Знак «не равно» впервые встречается, вероятно, у Эйлера; во всяком случае, он это обозначение активно использовал[53].

Автор знака «тождественно равно» — Бернхард Риман (1857). Этот же символ, по предложению Гаусса, используется в теории чисел как знак сравнения по модулю, а в логике — как знак операции эквивалентности[116].

Знаки сравнения ввёл Томас Хэрриот в своём сочинении, изданном посмертно в 1631 году. До него писали словами: больше, меньше[117][52].

Символы нестрогого сравнения первым предложил Валлис в 1670 году. Первоначально черта была выше знака сравнения, а не под ним, как сейчас. Общее распространение эти символы получили после поддержки французского математика Пьера Бугера (1734), у которого они приобрели современный вид[117].

Обозначений для пропорции предлагалось множество — Декарт использовал запись Отред писал и др. В конечном счёте победу одержала современная символика, предложенная Лейбницем в 1708 году[118].

Эти обозначения были введены Анри Пуанкаре и Эмилем Борелем (1901) и использовались для указания, что один ряд мажорируется другим. Иногда они используются в этом узком смысле и сейчас, но чаще означают «много меньше» и «много больше»[117].

Геометрия

Символы «угол» и «перпендикулярно» придумал в 1634 году французский математик Пьер Эригон. Символ угла у Эригона напоминал значок ; современную форму, во избежание путаницы с ранее введенным знаком «меньше», ему придали английские математики Сет Уорд (1654) и Уильям Отред (1657). Прямой угол нередко обозначался буквой d (от фр. droit ‘прямой’)[119][42].

Символ параллельности известен с античных времён, его использовали Герон и Папп Александрийский. Сначала этот символ выглядел как нынешний знак равенства, но с появлением последнего — во избежание путаницы — Отред (1677), Керси (1673) и другие математики XVII века придали образующим символ линиям вертикальное направление[36][120].

Современные обозначения угловых единиц (градусы, минуты, секунды) встречаются ещё в «Альмагесте» Птолемея, однако в средневековой Европе вместо них писали словами: gradus, minutes, secundae (полностью или сокращённо). Вновь символ градуса использовал в 1568 году французский математик и поэт Жак Пелетье; в следующем десятилетии Эразм Рейнгольд, Тихо Браге и Хуан Карамуэль уже используют все три угловых обозначения, после чего эти знаки быстро вошли в общее употребление[121].

Радианную меру углов, более удобную для анализа, предложил в 1714 году английский математик Роджер Котс. Сам термин радиан придумал в 1873 году Джеймс Томсон, брат известного физика лорда Кельвина. Некоторые авторы предлагали помечать радианные значения буквами или надстрочной но эти предложения не нашли поддержки, хотя в трудах по геодезии буква иногда используется[121].

Общепринятые ныне обозначения дуг окружности или иной кривой впервые в Европе использовал в своём «Трактате о геометрии» еврейский математик XII века Авраам бар-Хия (Савасорда); этот труд сразу перевёл на латинский Платон из Тиволи[42].

Джон Валлис использовал для отношения длины окружности к диаметру символ квадрата (намекая на квадратуру круга) или еврейскую букву מ («мем»), тоже похожую на квадрат. Уильям Отред и Исаак Барроу обозначали это число следующим образом: : здесь обозначает первую букву греческого слова περιφέρεια, ‘окружность’,  — аналогично для диаметра, так что вся запись есть сокращение для «отношения длины окружности к диаметру»[122].

Общепринятое обозначение впервые образовал Уильям Джонс в своём трактате «Synopsis Palmariorum Matheseos» (1706 год), он также имел в виду первую букву греческого названия окружности. Это же сокращение позднее решил использовать Эйлер (в ранних трудах он колебался между буквами c и p). Труды Эйлера в 1740-е годы закрепили обозначение окончательно[43].

Символы для обозначения подобия или конгруэнтности геометрических фигур предложил Лейбниц в начале XVIII века. У символа конгруэнтности Лейбница, в отличие от современного, была только одна прямая чёрточка под тильдой; современная форма появилась позже сразу у нескольких математиков[44].

Обозначение для отношения золотого сечения (используют также начертание ) предложил американский математик Марк Барр (около 1909). Обозначение восходит к первой букве имени древнегреческого скульптора Фидия (др.-греч. Φειδίας), который, по утверждениям некоторых историков архитектуры, систематически использовал золотое сечение в своих творениях (эти утверждения в настоящее время поставлены под сомнение). В профессиональной математической литературе данное отношение часто обозначают (от греч. τομή ‘сечение’)[123][124].

Теория чисел

Символику сравнения по модулю разработал Гаусс, опубликована в 1801 году в его «Арифметических исследованиях». Педантичный Гаусс ставил после кода «mod» точку, поскольку это сокращение от лат. modulo, но его последователи сочли точку излишней[125].

Вертикальную черту как символ отношения « делит » (или, что то же, « делится на ») впервые предложил Эдмунд Ландау в книге «Элементарная теория чисел» (1927); ранее этот символ иногда использовал Годфри Харолд Харди в неопубликованных материалах своего семинара[126].

Функция Эйлера, играющая важнейшую роль в теории чисел и общей алгебре, появилась у Эйлера в 1760 году, он тогда обозначил её современное обозначение предложил Гаусс (1801)[127].

Компактное обозначение для факториала предложил Кристиан Крамп (1808); ранее Эйлер пользовался[128] символом а у Гаусса, Якоби и других встречались[129] обозначения и .

Символ «целая часть» ввёл Гаусс в 1808 году. Некоторые математики предпочитают использовать вместо него обозначение E(x), предложенное в 1798 году Лежандром[130].

Две пары символов-уголков, означающие округление вещественного числа до целого в меньшую или бо́льшую сторону соответственно, ввёл Кеннет Айверсон в 1962 году[131].

Лежандр ввёл для простого числа символ, получивший его имя, в своей монографии по теории чисел (1791). Аналогичный по начертанию, но определённый для любого нечётного числа символ опубликовал Якоби (1837)[132].

Функции

Первые общие обозначения функций использовал Иоганн Бернулли в 1718 году. Долгое время математики задавали аргументы без скобок: , скобки использовались только в случае многих аргументов, а также если аргумент представлял собой сложное выражение. Отголоском тех времён являются употребительные и сейчас записи и др. Но постепенно (у Эйлера — с 1734 года, у Даламбера — с 1754-го) использование скобок стало общим правилом[133] [134] [135].

Элементарные функции

Сокращения появились ещё в XVII веке, однако до конца XIX века общепринятого обозначения логарифма не было — основание ɑ указывалось то левее и выше символа , то над ним. В конечном счёте математики пришли к выводу, что наиболее удобное место для основания — ниже строки, после символа . Символ для натурального логарифма впервые появляется у Ирвинга Стрингхема (1893)[136].

Первым сокращённые обозначения для синуса, тангенса и секанса предложил Томас Финке (1583), который писал: sin., tan., sec. Обозначения этих же функций без точки ввёл Уильям Отред (1632); впрочем, многие авторы вплоть до середины XIX века продолжали ставить точку при обозначениях тригонометрических функций[137][138]. Леонард Эйлер в 1748 году использует написание с точкой (sin., tang., sec), а в 1753 году от точки отказывается (причём наряду с tang у него появляется и обозначение tg, используемое в русскоязычной литературе)[139].

Финке обозначал косинус, котангенс и косеканс через sin. com., tan. com., sec. com (где com — сокращение для лат. complement ‘дополнение’). Среди многочисленных обозначений, предлагавшихся позднее различными авторами, находим у Джонаса Мура[en] (1674) Cos и Cot., а у Сэмюэла Джейка[en] в его изданном в 1696 трактате — cos., cot., cosec. Написание cos (без точки) встречается у Эйлера в 1729 году (систематически — с 1753 года); Авраам Кестнер (1758) последовательно применяет обозначения cos, cot, cosec[138][140]. Согласно Ф. Кэджори, используемое в современной западной литературе обозначение csc для косеканса появляется в «Трактате по тригонометрии» Оливера, Уэйта и Джонса (1881), а закрепившееся в русскоязычной литературе обозначение ctg для котангенса впервые встречается у Артура Шёнфлиса (1886)[141].

Манера обозначать обратные тригонометрические функции с помощью приставки arc- (от лат. arcus ‘дуга’) появилась у австрийского математика Карла Шерфера (нем. Karl Scherffer; 1716—1783) и закрепилась благодаря Лагранжу. Имелось в виду, что, например, обычный синус позволяет по дуге окружности найти стягивающую её хорду, а обратная функция решает противоположную задачу. Английская и немецкая математические школы до конца XIX века предлагали иные обозначения: , но они не прижились[142].

Гиперболический синус и косинус были введены в употребление Винченцо Риккати (1757), обозначавшим их Sh и Ch. Современный вариант записи (sh и ch), а также th для гиперболического тангенса мы находим у Уильяма Клиффорда (1878). Распространённые в англоязычных странах обозначения sinh и cosh восходят к Иоганну Ламберту (1768)[143]. Среди других предлагавшихся обозначений были также sinhyp и coshyp (которые использованы, например, в энциклопедии Брокгауза и Ефрона); ныне эти два обозначения вышли из употребления[144].

Полезную во многих случаях функцию sgn(x) (от лат. signum ‘знак’) начал использовать в своих лекциях Кронекер (1884), но с другим обозначением: [x]. Современный символ sgn ввёл Пеано (1908)[145][146].

Специальные функции

Современные обозначения и для введённых Эйлером (соответственно, в 1729 и 1730 году) эйлеровых интегралов 2-го и 1-го рода предложены: Адриеном Мари Лежандром (1811) для интеграла 2-го рода и Жаком Филиппом Мари Бине (1839) для интеграла 1-го рода. После этого получили широкое распространение термины «Гамма-функция» и «Бета-функция»[147][148].

Автором обозначения li для интегрального логарифма является Иоганн фон Зольднер (1809). В 1843 году Карл Антон Бретшнайдер ввёл si и ci для интегрального синуса и интегрального косинуса. Оскар Шлёмильх (1846) видоизменил данные обозначения в Si и Ci, а также ввёл обозначение Ei для интегральной показательной функции[149].

Обозначение для дзета-функции Римана (изучавшейся ещё Эйлером, а позднее П. Л. Чебышёвым), которая играет важнейшую роль в теории чисел, предложил Бернхард Риман в 1857 году[150].

Обозначения для эллиптических интегралов 1-го, 2-го и 3-го рода (неполных) в нормальной форме Лежандра введены, по существу, самим Лежандром (1825); единственное отличие его нотации от современной — в том, что модуль эллиптического интеграла он обозначал через (современное обозначение впервые применил Карл Якоби в 1829 году), а переменную в списке аргументов ставил на последнее место[151].

Понятие об амплитуде эллиптического интеграла как о функции, обратной для эллиптического интеграла 1-го рода, и обозначение для неё ввёл Карл Якоби (1829)[152].

Основные эллиптические функции Якоби — синус амплитуды sn, косинус амплитуды cn и дельта амплитуды dn — ввёл Якоби (1829), обозначавший их как sin am u, cos am u и Δ am u (буква Δ заменяет выражение что предложил ещё Лежандр в 1825 году). Более компактные обозначения sn, cn и dn введены Кристофом Гудерманом (1838). В 1882 году Джеймс Глейшер ввёл обозначения ещё для девяти эллиптических функций: ns, nc, nd, cs, ds, dc, sc, sd и cd[153].

Для эффективного вычисления эллиптических функций Якоби предложил выражать их как отношения тета-функций[en]*, для которых он получил представления в виде быстро сходящихся функциональных рядов. Якоби первоначально обозначал тета-функции в 1862 году Карл Вейерштрасс, модифицировавший определения Якоби, ввёл современные обозначения [153].

Эллиптическую функцию Вейерштрасса (читается: «пэ-функция»; здесь  — знак Вейерштрасса, представляющий собой стилизованную букву P) и тесно связанные с ней дзета-функцию Вейерштрасса и сигма-функцию Вейерштрасса ввёл (вместе с соответствующими обозначениями) Карл Вейерштрасс, который положил их в основу своей общей теории эллиптических функций, излагавшейся им с 1862 года на лекциях в Берлинском университете[154].

Ставшее ныне общепринятым обозначение для функций Бесселя 1-го рода впервые встречается у Айзека Тодхантера (1875)[155]. Обозначение для функций Бесселя 2-го рода (функций Вебера) ввёл Герман Ганкель (1869), а обозначения и для функций Бесселя 3-го рода (функций Ганкеля) принадлежат Нильсу Нильсену[en] (1902)[156].

Обозначение для модифицированных функций Бесселя 1-го рода предложил Альфред Бассет[en] (1886), а для модифицированных функций Бесселя 2-го рода (функций Макдональда) сохраняется обозначение под которым их в 1899 году ввёл Гектор Макдональд[156].

Обозначение Ai для функции Эйри 1-го рода предложил в 1828 году Гарольд Джеффрис[157]; он использовал первые две буквы фамилии Джорджа Эйри (англ. George Airy), который в 1838 году впервые исследовал уравнение Эйри[158]. В 1946 году Джеффри Миллер[en] добавил обозначение Bi для функции Эйри 2-го рода, также ставшее стандартным[159].

Обозначение читается как «B-сплайн степени m с номером i» (предполагается, что этот сплайн построен по узлам Xi, …, Xi+m+1 некоторой сетки). Общее определение B-сплайнов для сетки с произвольно распределёнными узлами дано Хаскеллом Карри и Исааком Шёнбергом (1947), которые в своей статье[160] назвали их «базисными сплайнами» и использовали букву N вместо B. Сам термин «B-сплайн» введён Шёнбергом в 1967 году, после чего изменилось и обозначение[161][162][163].

Функция up (читается «ап-функция»), которая стала исторически первым и важнейшим примером атомарных функций (представляющих собой бесконечно дифференцируемые аналоги полиномиальных сплайнов[164]), введена с данным обозначением в 1971 году в статье[165] В. Л. Рвачёва и В. А. Рвачёва[166][167].

Дельта-функция Дирака δ(x), ставшая первым примером обобщённой функции, введена Полем Дираком в его статьях[168][169] 1927 года[170][171]. Впрочем, ясное представление об этой функции и её основных свойствах имел уже Хевисайд (1893), у которого она появилась как производная от единичной функции Хевисайда, но специального обозначения не получила[172].

Линейная алгебра

Понятие вектора ввёл в науку в 1847 году[173] Уильям Роуэн Гамильтон в рамках своей теории кватернионов (назвав вектором кватернион с нулевой скалярной частью); он обозначал векторы греческими буквами, а скаляры — латинскими. Впрочем, ещё в 1803 году Лазар Карно пользовался понятием геометрического количества, понимая под ним в основном направленные отрезки и обозначая отрезок с началом в точке A и концом в точке B при помощи чёрточки наверху: AB; Август Фердинанд Мёбиус в 1827 году предложил представлять такой отрезок в виде разности B−A. Джеймс Клерк Максвелл предпочитал обозначать векторы готическими буквами, основоположники векторного анализа Оливер Хевисайд и Джозайя Уиллард Гиббс — жирным шрифтом. Почти все эти виды символики встречаются до сих пор, особенно часто используются жирный шрифт, чёрточка или стрелка над буквой[58][174].

Понятия и обозначения операций над векторами формировались в XIX веке многими математиками, и унификация обозначений до сих пор не достигнута. Грассман записывал векторное произведение в виде (1844), а скалярное произведение обозначал (1846) или (1862); последний вариант неожиданно возродился в XX веке в виде бра-кет символики, введённой Дираком (1939) и используемой в квантовой механике[175][176]. Хевисайд предпочитал для скалярного произведения простейшую запись в виде в то время как Гиббс между операндами скалярного произведения добавлял нижнюю точку, а векторное записывал как У Хендрика Лоренца скалярное и векторное произведения выглядели так: и Запись впервые встречается у Олауса Хенрици (1903). Обозначения современных авторов чаще всего варьируют приведённые варианты[175].

Обозначение для нормы вектора впервые появилось у Эрхарда Шмидта (1908) в частном случае нормы в пространстве . Общее определение нормы в абстрактном векторном пространстве дал Стефан Банах в статье «Об операциях над абстрактными множествами…»[177] (1922), где он также пользовался данным обозначением[178].

Окаймление матриц двумя вертикальными чёрточками ввёл Кэли около 1843 года; сейчас вместо них часто используются круглые или квадратные скобки. Определитель современные учебники заключают в одиночные чёрточки, также следуя Кэли. Круглые скобки для матриц первым, вероятно, употребил английский математик Каллис (Cuthbert Edmund Cullis) в 1913 году[179][180].

или

Символы Кристоффеля, лежащие в основе тензорного анализа и общей теории относительности, были введены Элвином Бруно Кристоффелем в статье 1869 года, где использовался формат записи ; вариант предложил в 1923 году Джордж Биркгоф[181][182].

Символ Кронекера, играющий большую роль в тензорном исчислении, Кронекер определил для случае в статье 1866 года; в 1924 году Френсис Мурнаган описал его обобщение до тензора произвольного ранга[182].

Математический анализ

Обозначение интервала вещественных чисел впервые употребил в 1909 году немецкий математик Герхард Ковалевский[de]; если граничная точка включалась в интервал, то вместо круглых скобок использовались угловые. В 1921 году Ханс Хан заменил угловые скобки на квадратные, и эта символика укоренилась в науке[62].

Стандартное обозначение числа Эйлера e = 2,7182818… впервые отмечено у Эйлера в неопубликованной рукописи 1728 года, вторично оно встречается в его «Механике» (1736 год) и во многих последующих трудах. Позднее были другие предложения: буква c (Д’Аламбер, 1747), (Август де Морган, 1842), а Бенджамин Пирс предложил для констант замысловатые значки, по форме напоминающие скрепку (1859); эти варианты не получили распространения[183].

Обозначение приращения буквой впервые употребили Иоганн Бернулли (который, впрочем, не проводил чёткого различия между приращением и дифференциалом) и Эйлер (1755)[184][185].

Символы бесконечно малых использовал шотландский математик Джеймс Грегори. У него обозначение «о малое» перенял Ньютон[186]. Заглавный вариант символа в современном значении («о большое») появился во втором томе книги Пауля Бахмана «Аналитическая теория чисел» (1894). Оба символа популяризировал Эдмунд Ландау в работе 1909 года[187], в связи с чем их нередко называют «символы Ландау»[188].

Обозначения dx и dy для дифференциалов аргумента и функции введены Лейбницем в мемуаре «Новый метод максимумов и минимумов…»[189] (1684), после чего естественным образом появилось и обозначение производной в виде отношения дифференциалов. В мемуаре «Ответ господину Бернарду Ньивентейту…»[190] (1695) Лейбниц рассматривает и дифференциалы высших порядков, вводя для них вполне современные обозначения[191][192].

Традиция обозначать производную по времени точкой над буквой идёт от Ньютона (1691)[46].

Краткое обозначение производной штрихом восходит к Лагранжу, у которого базовым понятием анализа, в отличие от Лейбница, стал не дифференциал, а производная[193].

До середины XVIII века запись символа частной производной ничем не выделялась. Эйлер в 1755 году предложил заключать частные производные в скобки; этот символизм имел некоторое распространение. Современное обозначение впервые встретилось в статьях Кондорсе (1770) и Лежандра (1786), однако не закрепилось даже у этих авторов. Лагранж пробовал различные варианты — например, индексировать производные: или указывать в скобках, по какой переменной идёт дифференцирование: но эта символика была явно неудачной. В нескольких статьях Уильяма Гамильтона встречается близкий к современному символ . Общеупотребительной современную запись сделал Карл Якоби (1841)[194].

В ранних заметках Лейбниц использовал в качестве символа интеграла обозначение omn. (от лат. de omnium, 'всего' — это сокращение было введено Кавальери для вычисления площадей «методом неделимых»). Современное обозначение интеграла, образованное Лейбницем от стилизованной начальной буквы слова «Сумма» (лат. Summa), впервые найдено в неопубликованной рукописи, датированной 29 октября 1675 года, а в печати оно появилось в мемуаре «О скрытой геометрии и анализе неделимых…» (1686); правда, типография для облегчения своей работы заменила в этой первой статье символ интеграла на букву . Иоганн Бернулли в переписке с Лейбницем вначале предлагал в качестве символа интеграла букву но позже согласился принять знак Лейбница[195][196][197]. В первых статьях Лейбниц часто надчёркивал выражения для интеграла и дифференциала, возможно, желая показать, что это целостные символы, но позднее отказался от этой практики[198].

Двойной интеграл по произвольной плоской области ввёл Эйлер (1769), тройной (по объёму) вскоре начал использовать Лагранж[199].

Символ предела появился в 1787 году у Симона Люилье в следующем формате: это обозначение получило поддержку Коши (1821). Точка после lim вскоре исчезла[54].

Близкое к современному обозначение ввёл Вейерштрасс, хотя вместо привычной нам стрелки он использовал знак равенства: [200]. Стрелка появилась в начале XX века сразу у нескольких математиков[201].

Обозначения для одностороннего предела первым предложил Дирихле (1837) в виде: Мориц Паш (1887) ввёл другие важные понятия — верхнего и нижнего предела, которые записывал в виде: и соответственно. За рубежом эта символика стала стандартной, а в отечественной литературе преобладают другие обозначения: введенные Альфредом Прингсхаймом в 1898 году[202].

Оформление определённого интеграла в привычном нам виде придумал Фурье, который использовал его с 1816 года. До него пределы сначала указывались словесно; Эйлер в 1768 году записывал их после интеграла в квадратных скобках, в две строки (от/до)[203][57].

Обозначение с кружком для криволинейного интеграла по замкнутому контуру предложил в 1923 году Крамерс[199].

Обозначение свёртки функций при помощи звёздочки впервые предложил Вито Вольтерра в 1912 году на своих лекциях в Сорбонне (опубликованы годом позже)[204].

Уравнения Максвелла, записанные с помощью наблы

Символ этого дифференциального оператора придумал Уильям Роуэн Гамильтон (1853), а название «набла» предложил в шутку один из друзей шотландского математика Тэта, друга Гамильтона, заметив, что форма этого знака напоминает ассирийскую арфу с таким (древнегреческим) названием (1892). Используется также термин «оператор Гамильтона»[205].

Распространённый в математической физике символ оператора Лапласалапласиан») появился в 1833 году у английского физика и математика Роберта Мёрфи (Robert Murphy, 1806—1843)[114]. До него вместо иногда использовался предложенный Фурье[206] символ

Символика классических дифференциальных операторов векторного анализа формировалась постепенно на рубеже XIX—XX веков. Понятие градиента ввёл Уильям Гамильтон ещё в 1846 году, но название и общепринятое обозначение термина появилось около 1900 года в немецкой школе, возможно, благодаря Генриху Веберу. Понятия дивергенции и ротора введены Максвеллом в его работах по теории электромагнитного поля; термины и обозначения предложил Клиффорд (1878)[207].

Постоянная Эйлера — Маскерони была введена в 1735 году Леонардом Эйлером. Эйлер обозначал её буквой , а Маскерони[132] — сейчас часто используется предложенное Бретшнайдером обозначение поскольку эта константа связана с гамма-функцией[208].

Математическая логика и теория множеств

В математической логике предложено большое число символов логических операций, причём различные авторы часто пользовались для одной и той же операции различными обозначениями. Значительно бо́льшая степень унификации характерна для символики теории множеств[209].

Джордж Буль (1854) использовал для логических операций конъюнкции и дизъюнкции обычные знаки умножения и сложения. Близкие к современным обозначения предложил Джузеппе Пеано (1895); они были по сравнению с ныне употребляемыми вариантами более «сглаженными», в виде дуг окружности. Современный символ дизъюнкции впервые встречается в статье «Математическая логика, основанная на теории типов»[210] Бертрана Рассела (1908), в то время как конъюнкция обозначена там точкой на линии строки (знак дизъюнкции образован от лат. vel ‘или’; позднее возникла традиция двойным знаком дизъюнкции обозначать операцию строгой дизъюнкции[211]). Современный символ конъюнкции (перевёрнутый знак дизъюнкции) предложен Арендом Гейтингом (1930); распространённой альтернативой для него остаётся знак амперсанда &[63][212].

В языках программирования для конъюнкции, дизъюнкции и строгой дизъюнкции применяются обычно другие обозначения (например, в языке Ада используются зарезервированные слова and, or и xor[213], а в языках C и C++ — обозначения &, |, ^ для побитовых операций и &&, || для логических операций[214]).

Логическое отрицание Джузеппе Пеано в 1897 году обозначил символом (тильда), похожим на минус; сейчас стандартным является близкий к нему символ , предложенный Гейтингом в 1930 году[63][212]. Используют для обозначения отрицания и горизонтальную черту над выражением, встречавшуюся ещё у Буля и Чарльза Пирса (1867)[215]. В языках программирования для отрицания применяют и другие обозначения (так, в языке Ада используется зарезервированное слово not[213], а в языках C и C++ — обозначения ~ для побитовой операции и ! для логического отрицания[214]).

Первый логический символ, имеющий смысл «следовательно», предложил Иоганн Ран в 1659 году, он состоял из трёх точек: . Отред (1677) изображал следствие двумя надстрочными точками. Перевёрнутый символ: в XIX веке иногда заменял союз «потому что» в англоязычных странах[59].

Знак для обозначения импликации предложил Давид Гильберт (1922). Не менее распространён и знак , употреблявшийся в этом значении ещё Джузеппе Пеано (1898) и сменивший более раннее начертание ɔ данного знака (которое Пеано применял начиная с 1891 года). Для обозначения эквиваленции используют как символ тождества (так поступал Рассел в уже упоминавшейся работе 1908 года), так и знак , предложенный Альбрехтом Беккером (1933)[212][216].

Штрих Шеффера для обозначения операции антиконъюнкции ввёл Генри Шеффер, обосновавший в своей статье «Набор пяти независимых постулатов…»[217] (1913) возможность построения логики высказываний на основе единственной логической операции — антиконъюнкции[218]. Результаты Шеффера, впрочем, предвосхитил Чарльз Пирс (1880), который в неопубликованной при его жизни работе «Булева алгебра с одной константой» фактически осуществил такое построение на основе другой операции — антидизъюнкции, для обозначения которой обычно используют знак (стрелка Пирса)[219][220].

Первые символы для кванторов появились в 1879 году в книге Готлоба Фреге «Исчисление понятий»; обозначения Фреге основывались на громоздкой двумерной нотации и в дальнейшем широкого распространения не получили. Впоследствии были предложены более удачные обозначения; например, Оскар Митчелл в 1883 году и Чарльз Пирс в 1885 году использовали заглавные греческие буквы и (сам термин «квантор» также предложил Пирс)[221]. Общепринятым для квантора существования стало обозначение (Джузеппе Пеано, 1897), а для квантора общности — символ , образованный Герхардом Генценом в 1935 году по аналогии с символом Пеано; эти символы представляют собой перевёрнутые первые буквы английских слов Exists ‘существует’ и All ‘все’[222][223].

Знак выводимости[en] (турникет) введён, по существу, Фреге (1879) в уже упоминавшейся книге «Исчисление понятий»[224]. В современном начертании встречается у Бертрана Рассела (1908)[210].

Выражение означает «функция, сопоставляющая каждому значению аргумента соответствующее значение выражения » (где в общем случае зависит от ). Оператор λ-абстракции и основанное на его использовании λ-исчисление предложены Алонзо Чёрчем в конце 1920-х годов (первая публикация — его статья[225] 1932 года, в которой Чёрч, правда, ещё писал ; современный стандартный вид нотация приняла к 1941 году)[226].

На символику теории множеств большое влияние оказала тесно связанная с ней и уже хорошо разработанная к концу XIX века символика математической логики. Знак принадлежности (по происхождению — стилизованная буква ε в греч. εστι ‘быть’) был введён Джузеппе Пеано (1889) в работе «Основания арифметики, изложенные новым способом»[227]. Он же является автором символов пересечения и объединения множеств (1888). Теоретико-множественные символы «содержится» и «содержит» появились в 1890 году у Эрнста Шрёдера[212][228].

В 1880-е годы Георг Кантор открыл иерархию бесконечных множеств и упорядочил их по мощности. Наименьшую из них — мощность натурального ряда — он обозначил первой буквой еврейского алфавита «алеф» с нулевым индексом: Порядковое число натурального ряда Кантор обозначил буквой последней буквой греческого алфавита. Мощность множества вещественных чисел принято обозначать буквой (от слова continuum ‘непрерывность’)[229][230].

Знак для обозначения пустого множества предложил в 1939 году Андре Вейль в ходе работы группы Бурбаки над подготовкой к изданию книги «Теория множеств. Сводка результатов» трактата «Элементы математики» (в качестве прототипа знака была использована буква норвежского алфавита с тем же начертанием)[231].

Обозначение для отображения множества X в множество Y впервые появилось в 1940 году в лекциях Витольда Гуревича по относительным гомотопическим группам[232].

Другие обозначения

%

Символ процента появился в середине XVII века сразу в нескольких источниках, его происхождение неясно. Есть гипотеза, что он возник от ошибки наборщика, который сокращение cto (cento, сотая доля) набрал как 0/0. Более вероятно, что это скорописный коммерческий значок, возникший лет на 100 раньше[233].

Обозначение для числа сочетаний (или, что то же самое, для биномиальных коэффициентов) появилось в 1880 году у английского математика Роберта Поттса (Robert Potts, 1805—1885), оно происходит от лат. combinatio — сочетание. При этом в обозначении Поттса верхний символ располагался слева, а не справа от буквы C. В западной литературе распространён второй вариант обозначения: предложенный Эйлером, но и он вначале отличался от современного: у Эйлера были переставлены и разделены горизонтальной чертой, как у дроби. Принятые сейчас на Западе обозначения стандартизовал немецкий математик Андреас фон Эттингсгаузен в книге «Комбинаторный анализ» (1827 год), затем их поддержал Йозеф Людвиг Раабе (1851 год). Обозначение для числа размещений предложил в 1904 году другой немецкий математик Ойген Нетто, по аналогии с числом сочетаний[234] [235].

Символ бесконечности придумал Джон Валлис, опубликован в 1655 году[28]. У Вейерштрасса появились (1876) и нашли широкое применение в анализе две модификации этого символа: плюс-бесконечность и минус-бесконечность[230].

Индексацию для нумерации однородных переменных в современном виде ввёл Ньютон (1717). Первое время, из-за типографских ограничений, индексы печатались не ниже строки, а на том же уровне. Двойные индексы (для элементов матриц) ввёл в общее пользование Якоби (1835)[236].

В инженерной практике перечёркнутый кружок используется для обозначения диаметра (символ Unicode-8960)[237]. При работе с компьютером из-за опасности спутать цифру 0 с латинской или русской буквой О одно время действовала рекомендация (особо актуальная при записи программ на бланках кодирования) нуль перечёркивать[238]: (иногда поступали наоборот: при программировании на ЭВМ «Минск-32» перечёркивали букву О, а не нуль[239]). В эпоху персональных компьютеров, работавших под управлением MS-DOS, в текстовом режиме работы дисплея и на многих матричных принтерах нуль также выводился в перечёркнутом виде (некоторые принтеры имели встроенные переключатели для включения и отключения режима перечёркивания нуля)[240][241]. В современных компьютерных шрифтах буква О заметно шире нуля, так что перечёркивание обычно не требуется.

См. также

Примечания

Комментарии
  1. В книге Н. В. Александровой конечный уголок изображён неверно, см. фотокопию страницы книги Бомбелли в книге: Cajori F., vol. 1, § 144.
Источники
  1. Mazur J., 2014, Chapter 20. Rendezvous in the Mind.
  2. Юшкевич А. П.  Лейбниц и основание исчисления бесконечно малых // Успехи математических наук. — 1948. Т. 3, № 1(23). С. 155—156.
  3. History of Mathematical Notations, vol. 1, 2007, §199.
  4. History of Mathematical Notations, vol. 2, 2007, §639.
  5. История математики, том I, 1970, с. 12—13.
  6. 1 2 История математики, том I, 1970, с. 21.
  7. Gardiner Alan H. Egyptian grammar: being an introduction to the study of hieroglyphs 3rd ed., rev. London: 1957, p. 197.
  8. History of Mathematical Notations, vol. 1, 2007, §200.
  9. O'Connor J. J., Robertson E. F. An overview of Babylonian mathematics. Проверено 23 декабря 2015.
  10. История математики, том I, 1970, с. 42.
  11. История математики, том I, 1970, с. 157—161.
  12. Martzloff, Jean-Claude.  A History of Chinese Mathematics. — Springer, 1997. — P. 197—200. ISBN 3-540-33782-2.
  13. История математики, том I, 1970, с. 62—64.
  14. 1 2 3 Александрова Н. В., 2008, с. 48—50.
  15. История математики, том I, 1970, с. 144—145.
  16. Башмакова И. Г.  Диофант и диофантовы уравнения. М.: Наука, 1972 (репринт М.: ЛКИ, 2007). — 68 с.
  17. Володарский А. И.  Математика в древней Индии // Историко-математические исследования. М.: Наука, 1975. № 20. С. 289.
  18. История математики, том I, 1970, с. 181—183.
  19. История математики, том I, 1970, с. 188—189.
  20. История математики, том I, 1970, с. 185—186, 189.
  21. История математики, том I, 1970, с. 252.
  22. История математики, том I, 1970, с. 212—214, 227.
  23. History of Mathematical Notations, vol. 1, 2007, §134, 135.
  24. История математики, том I, 1970, с. 286—290.
  25. History of Mathematical Notations, vol. 1, 2007, §122, 130.
  26. История математики, том I, 1970, с. 290—291.
  27. История математики, том I, 1970, с. 301—304, 306.
  28. 1 2 3 4 5 6 Математическая энциклопедия, 1979.
  29. 1 2 История математики, том I, 1970, с. 308—311.
  30. History of Mathematical Notations, vol. 1, 2007, §176.
  31. История математики, том II, 1970, с. 22—23.
  32. History of Mathematical Notations, vol. 1, 2007, §188.
  33. 1 2 Александрова Н. В., 2008, с. 127.
  34. 1 2 3 История математики, том II, 1970, с. 41.
  35. 1 2 3 Александрова Н. В., 2008, с. 141.
  36. 1 2 3 Александрова Н. В., 2008, с. 123.
  37. History of Mathematical Notations, vol. 1, 2007, §185.
  38. 1 2 3 Александрова Н. В., 2008, с. 130—131.
  39. History of Mathematical Notations, vol. 1, 2007, §315.
  40. 1 2 История математики, том II, 1970, с. 40—46.
  41. History of Mathematical Notations, vol. 2, 2007, §392.
  42. 1 2 3 History of Mathematical Notations, vol. 2, 2007, §359.
  43. 1 2 History of Mathematical Notations, vol. 2, 2007, §396—397.
  44. 1 2 History of Mathematical Notations, vol. 2, 2007, §372.
  45. История математики, том II, 1970, с. 234—237, 266.
  46. 1 2 3 Александрова Н. В., 2008, с. 142—143.
  47. History of Mathematical Notations, vol. 2, 2007, §622.
  48. История математики, том II, 1970, с. 255—257, 266.
  49. Александрова Н. В., 2008, с. 45—46.
  50. Mazur J., 2014, Chapter 18. The Symbol Master.
  51. 1 2 Александрова Н. В., 2008, с. 54.
  52. 1 2 3 Энциклопедический словарь юного математика, 1985.
  53. 1 2 Rouse Ball W. W.  A Short Account of the History of Mathematics. 4th ed. — Dover Publications, 2010. — 522 p. — (Dover Books on Mathematics). ISBN 978-0486206301. — P. 242.
  54. 1 2 Хайрер Э., Ваннер Г.  Математический анализ в свете его истории. М.: Научный мир, 2008. — 396 с. ISBN 978-5-89176-485-9. — С. 172.
  55. 1 2 History of Mathematical Notations, vol. 2, 2007, p. 78—79 (§451).
  56. 1 2 3 Александрова Н. В., 2008, с. 150—151.
  57. 1 2 Александрова Н. В., 2008, с. 63.
  58. 1 2 Александрова Н. В., 2008, с. 22—23.
  59. 1 2 History of Mathematical Notations, vol. 2, 2007, §667—670.
  60. History of Mathematical Notations, vol. 2, 2007, §677—678.
  61. History of Mathematical Notations, vol. 2, 2007, §685—691.
  62. 1 2 Александрова Н. В., 2008, с. 67.
  63. 1 2 3 History of Mathematical Notations, vol. 2, 2007, p. 281—314.
  64. History of Mathematical Notations, vol. 2, 2007, §695.
  65. Орлов С. А. Теория и практика языков программирования: Учебник для вузов. Стандарт 3-го поколения. М.: Питер, 2013. — С. 148—149. — 688 с. ISBN 978-5-496-00032-1.
  66. Акимов П. А., Кайтуков Т. Б., Мозгалева М. Л., Сидоров В. Н. Строительная информатика. М.: АСВ, 2014. — С. 56. — 432 с. ISBN 978-5-4323-0066-9.
  67. Александрова Н. В., 2008, с. 214—215.
  68. Александрова Н. В., 2008, с. 114.
  69. Chrisomalis S.  Numerical Notation: A Comparative History. — Cambridge: Cambridge University Press, 2010. — ix + 486 p. ISBN 978-0-521-87818-0. — P. 195.
  70. Joseph G. G.  The Crest of the Peacock: Non-European Roots of Mathematics. 3rd edition. — Princeton: Princeton University Press, 2011. — xxvii + 561 p. ISBN 978-0-691-13526-7. — P. 339.
  71. Пушкин А. С.  Полное собрание сочинений. М.: Правда, 1954. — Т. 5. — С. 286.
  72. History of Mathematical Notations, vol. 1, 2007, §96.
  73. Jean-Claude Martzloff. A History of Chinese Mathematics. — Springer, 1997. ISBN 3-540-33782-2.
  74. Berggren J. Lennart.  Mathematics in Medieval Islam // The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. — Princeton: Princeton University Press, 2007. — С. 518. ISBN 978-0-691-11485-9.
  75. Гутер Р. С., Полунов Ю. Л.  Джон Непер, 1550—1617. М.: Наука, 1980. — 226 с. — (Научно-биографическая литература). — С. 197—204.
  76. History of Mathematical Notations, vol. 1, 2007, §276—277.
  77. Цейтен Г. Г., 1938, с. 136.
  78. 1 2 History of Mathematical Notations, vol. 1, 2007, §186, 195, 282.
  79. Глейзер Г. И., 1981, с. 43.
  80. History of Mathematical Notations, vol. 1, 2007, §286—288.
  81. 1 2 History of Mathematical Notations, vol. 1, 2007, §91.
  82. The International System of Units (SI). Проверено 30 декабря 2015.: «Following the 9th CGPM (1948, Resolution 7) and the 22nd CGPM (2003, Resolution 10), for numbers with many digits the digits may be divided into groups of three by a thin space, in order to facilitate reading. Neither dots nor commas are inserted in the spaces between groups of three».
  83. Part 0: General principles, Sect. 3.3 // International standard ISO 31-0: Quantities and units. — Geneva: International Organization for Standardization, 1992.
  84. History of Mathematical Notations, vol. 1, 2007, §212.
  85. Mazur J., 2014, Chapter 17. A Catalogue of Symbols.
  86. История математики, том I, 1970, с. 42, 144—145, 308—310.
  87. История математики, том II, 1970, с. 22, 40—41.
  88. History of Mathematical Notations, vol. 1, 2007, §340—341.
  89. History of Mathematical Notations, vol. 2, 2007, §498—500.
  90. Hexadecimal. Проверено 21 февраля 2016.
  91. History of Mathematical Notations, vol. 1, 2007, §201—209.
  92. Cardano's Ars Magna, page 4. Проверено 8 октября 2013.
  93. Александрова Н. В., 2008, с. 126—127.
  94. 1 2 History of Mathematical Notations, vol. 1, 2007, §217, 232—233.
  95. Приёмы ускоренного умножения (2 марта 2008). Проверено 12 января 2016.
  96. History of Mathematical Notations, vol. 1, 2007, §218—230.
  97. History of Mathematical Notations, vol. 1, 2007, §235—239.
  98. Александрова Н. В., 2008, с. 40.
  99. 1 2 History of Mathematical Notations, vol. 1, 2007, §164.
  100. Divide symbols (англ.). Проверено 22 августа 2015.
  101. History of Mathematical Notations, vol. 1, 2007, §161.
  102. Александрова Н. В., 2008, с. 170—171.
  103. History of Mathematical Notations, vol. 1, 2007, §195, 342—350.
  104. History of Mathematical Notations, vol. 1, 2007, §210.
  105. History of Mathematical Notations, vol. 1, 2007, §290—297.
  106. Глейзер Г. И., 1982, с. 59—60.
  107. History of Mathematical Notations, vol. 1, 2007, §298—301, 307—309.
  108. 1 2 Никифоровский В. А.  Из истории алгебры XVI—XVII вв. М.: Наука, 1979. — 208 с. — (История науки и техники). — С. 81.
  109. History of Mathematical Notations, vol. 1, 2007, §318—321.
  110. History of Mathematical Notations, vol. 1, 2007, §328—333.
  111. Александрова Н. В., 2008, с. 22—23, 106, 218.
  112. 1 2 History of Mathematical Notations, vol. 1, 2007, §260—268.
  113. History of Mathematical Notations, vol. 1, 2007, p. 139.
  114. 1 2 Math4school.
  115. Ben-Menahem A., 2007, p. 5503.
  116. Александрова Н. В., 2008, с. 173, 183.
  117. 1 2 3 Александрова Н. В., 2008, с. 111—112.
  118. Александрова Н. В., 2008, с. 144.
  119. Александрова Н. В., 2008, с. 120, 190.
  120. Earliest Uses of Symbols from Geometry (англ.). Проверено 22 августа 2015.
  121. 1 2 History of Mathematical Notations, vol. 2, 2007, §514—515.
  122. Александрова Н. В., 2008, с. 124—125.
  123. Livio M. The Golden Ratio: The Story of Phi, the World's Most Astonishing Number. — NY: Broadway Books[en], 2002. — viii + 294 p. ISBN 0-7679-0815-5. — P. 5—6, 72—75.
  124. Sen S. K., Agarwal R. P. Golden ratio in science, as random sequence source, its computation and beyond // Computers & Mathematics with Applications. — 2008. — Vol. 56, no. 2. — P. 469—498. DOI:10.1016/j.camwa.2007.06.030.
  125. History of Mathematical Notations, vol. 2, 2007, §408.
  126. Paul Pollack. Earliest Uses of Symbols of Number Theory. Проверено 22 октября 2017.
  127. History of Mathematical Notations, vol. 2, 2007, §409.
  128. Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. М.: Мир, 1976. — С. 81. — 736 с.
  129. Александрова Н. В., 2008, с. 199—200.
  130. Александрова Н. В., 2008, с. 14.
  131. Кнут Д. Искусство программирования для ЭВМ. Т. 1. Основные алгоритмы. М.: Мир, 1976. — 735 с. — С. 68.
  132. 1 2 History of Mathematical Notations, vol. 2, 2007, §407.
  133. History of Mathematical Notations, vol. 2, 2007, §643—646.
  134. Александрова Н. В., 2008, с. 204—205.
  135. Хрестоматия по истории математики. Математический анализ. Теория вероятностей, 1977, с. 82.
  136. History of Mathematical Notations, vol. 2, 2007, §469—471.
  137. History of Mathematical Notations, vol. 2, 2007, p. 150, 158, 170.
  138. 1 2 Earliest Uses of Symbols for Trigonometric and Hyperbolic Functions. Проверено 7 января 2016.
  139. History of Mathematical Notations, vol. 2, 2007, p. 166.
  140. History of Mathematical Notations, vol. 2, 2007, p. 150, 163, 166.
  141. History of Mathematical Notations, vol. 2, 2007, p. 170.
  142. Александрова Н. В., 2008, с. 210—211.
  143. History of Mathematical Notations, vol. 2, 2007, p. 172—174.
  144. Гиперболические функции // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). СПб., 1890—1907.
  145. History of Mathematical Notations, vol. 1, 2007, §211.
  146. Александрова Н. В., 2008, с. 168.
  147. Ben-Menahem A., 2007, p. 5503—5504.
  148. Earliest Uses of Function Symbols. Проверено 8 января 2016.
  149. History of Mathematical Notations, vol. 2, 2007, p. 280—281.
  150. History of Mathematical Notations, vol. 2, 2007, p. 278.
  151. History of Mathematical Notations, vol. 2, 2007, p. 272—275.
  152. Соломенцев Е. Д.  Амплитуда эллиптического интеграла // Математическая энциклопедия. Т. 1 / Гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1977. — 1152 стб. — Стб. 243.
  153. 1 2 Соломенцев Е. Д.  Якоби эллиптические функции // Математическая энциклопедия. Т. 5 / Гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1985. — 1248 стб. — Стб. 1054—1058.
  154. Соломенцев Е. Д.  Вейерштрасса эллиптические функции // Математическая энциклопедия. Т. 1 / Гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1977. — 1152 стб. — Стб. 621—624.
  155. History of Mathematical Notations, vol. 2, 2007, p. 279.
  156. 1 2 Ватсон Г. Н.  Теория бесселевых функций. Ч. 1. М.: ИИЛ, 1949. — 798 с. — С. 70—71, 88, 92.
  157. Vallée O., Soares M.  Airy Functions and Applications to Physics. — London: Imperial College Press[en], 2004. — x + 194 p. ISBN 1-86094-478-7. — P. 4.
  158. Федорюк М. В.  Эйри функции // Математическая энциклопедия. Т. 5 / Гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1985. — 1248 стб. — Стб. 939—941.
  159. Airy Function Ai: Introduction to the Airy functions. // The Wolfram Functions Site. Проверено 5 февраля 2016.
  160. Curry H. B., Schoenberg I. J.  On spline distributions and their limits: The Pólya distribution functions // Bulletin of the American Mathematical Society. — 1947. — Vol. 53, no. 11. — P. 1114.
  161. Тихомиров В. М., 1987, с. 190.
  162. Завьялов Ю. С., Леус В. А., Скороспелов В. А.  Сплайны в инженерной геометрии. М.: Машиностроение, 1985. — 224 с. — С. 46—47.
  163. Де Бор К.[en]  Практическое руководство по сплайнам. М.: Радио и связь, 1985. — 304 с. — С. 86—87, 91.
  164. Кравченко В. Ф.  Лекции по теории атомарных функций и некоторым их приложениям. М.: Радиотехника, 2003. — 510 с. ISBN 5-93108-019-8. — С. 272.
  165. Рвачов В. Л., Рвачов В. О.  Про одну фінітну функцію // ДАН УРСР. Сер. А. — 1971. № 8. С. 705—707.
  166. Тихомиров В. М., 1987, с. 202—203.
  167. Теория R-функций и актуальные проблемы прикладной математики / Отв. ред. В. И. Моссаковский. — Киев: Наукова думка, 1986. — 264 с. — С. 46.
  168. Dirac P. A. M.  The Physical Interpretation of the Quantum Dynamics // Proceedings of the Royal Society. — 1927. — Vol. 113. — P. 621—641.
  169. Dirac P. A. M.  The Quantum Theory of the Emission and Absorption of Radiation // Proceedings of the Royal Society. — 1927. — Vol. 114. — P. 243—265.
  170. Егоров Ю. В.  К теории обобщённых функций // Успехи математических наук. — 1990. Т. 45, вып. 5. С. 3—40.
  171. Bernstein J.  A Chorus of Bells and Other Scientific Inquiries. — Singapore: World Scientific, 2014. — xii + 274 p. ISBN 978-9-81-457894-3. — P. 70—71.
  172. Lützen J.  The Prehistory of the Theory of Distributions. — NY: Springer Science & Business Media, 2012. — viii + 232 p. — (Studies in the History of Mathematics and Physical Sciences. Vol. 7). ISBN 978-1-4613-9474-7. — P. 115—116.
  173. Боголюбов А. Н.  Математики. Механики. Биографический справочник. — Киев: Наукова думка, 1983. — 639 с. — С. 118.
  174. Глейзер Г. И., 1983, с. 91.
  175. 1 2 History of Mathematical Notations, vol. 2, 2007, §506, 509.
  176. Hall B. C.  Quantum Theory for Mathematicians. — NY: Springer Science & Business Media, 2013. — xvi + 553 p. — (Graduate Texts in Mathematics. Vol. 267). ISBN 978-1-4614-7115-8. — P. 85.
  177. Banach S.  Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales // Fundamenta Mathematicae. — 1922. — Vol. 3. — P. 133—181.
  178. Megginson R. E.  An Introduction to Banach Space Theory. — NY: Springer Science & Business Media, 2012. — xix + 598 p. — (Graduate Texts in Mathematics. Vol. 183). ISBN 978-1-4612-0603-3. — P. ix—x.
  179. Александрова Н. В., 2008, с. 97.
  180. History of Mathematical Notations, vol. 2, 2007, §462.
  181. History of Mathematical Notations, vol. 2, 2007, §510.
  182. 1 2 Александрова Н. В., 2008, с. 168.
  183. History of Mathematical Notations, vol. 2, 2007, §400—401.
  184. Александрова Н. В., 2008, с. 45, 153.
  185. History of Mathematical Notations, vol. 2, 2007, §572.
  186. История математики, том II, 1970, с. 234, подстрочное примечание 2.
  187. Landau E.  Handbuch der Lehre von der Verteilung der Primzahlen. — Leipzig: Teubner, 1909. — xviii + 961 S. — S. 883.
  188. Narkiewicz W.  The Development of Prime Number Theory: From Euclid to Hardy and Littlewood. — NY: Springer Science & Business Media, 2013. — xii + 449 p. ISBN 978-3-662-13157-2. — P. xi.
  189. Leibniz G. W.  Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractas, nec irrationales quantitates moratur, & singulare pro illis calculi genus // Acta Eruditorum. — 1684. — Vol. 3. — P. 467—473.
  190. Leibniz G. W.  Responsio ad nonnullas difficultates a Dn. Bernardo Niewentijt circa methodum differentialem seu infinitesimalem motas // Acta Eruditorum. — 1695. — P. 310—316.
  191. Рыбников К. А.  История математики. 2-е изд. М.: Издательство МГУ, 1974. — 456 с. — С. 182—183.
  192. Bos H. J. M.  Differentials, higher-order differentials and the derivative in the Leibnizian calculus // Archive for History of Exact Sciences. — 1974. — Vol. 14, no. 1. — P. 1—90.
  193. History of Mathematical Notations, vol. 2, 2007, §575.
  194. History of Mathematical Notations, vol. 2, 2007, §593—611.
  195. Leibniz G. W.  De geometria recondita et analysi indivisibilium atque infinitorum // Acta Eruditorum. — 1686. — Vol. 5. — P. 292—300.
  196. Дуран, Антонио Х. Истина в пределе. Анализ бесконечно малых. М.: Де Агостини, 2014. — С. 86. — 144 с. — (Мир математики: в 45 томах, том 14). ISBN 978-5-9774-0708-3.
  197. History of Mathematical Notations, vol. 2, 2007, § 620.
  198. History of Mathematical Notations, vol. 2, 2007, §539—541.
  199. 1 2 Александрова Н. В., 2008, с. 58—59.
  200. Юшкевич А. П.  Развитие понятия предела до К. Вейерштрасса // Историко-математические исследования. М.: Наука, 1986. № 30. С. 76.
  201. Александрова Н. В., 2008, с. 133—135.
  202. History of Mathematical Notations, vol. 1, 2007, §631—637.
  203. History of Mathematical Notations, vol. 2, 2007, §626.
  204. Domínguez A.  A History of the Convolution Operation // IEEE Pulse. — 2015. — Vol. 6, no. 1. — P. 38—49.
  205. Александрова Н. В., 2008, с. 107—108.
  206. History of Mathematical Notations, vol. 2, 2007, §592.
  207. Александрова Н. В., 2008, с. 37, 44, 158.
  208. Carl Anton Bretschneider.  Theoriae logarithmi integralis lineamenta nova (13 October 1835) // Journal für die reine und angewandte Mathematik. — 1837. — Vol. 17. — P. 257—285.
  209. Кондаков Н. И., 1975, с. 534—540.
  210. 1 2 Russell B.  Mathematical Logic as Based on the Theory of Types // American Journal of Mathematics. — 1908. — Vol. 30, no. 3. — P. 222—262.
  211. Кондаков Н. И., 1975, с. 150.
  212. 1 2 3 4 Earliest Uses of Symbols of Set Theory and Logic.
  213. 1 2 Вегнер П.  Программирование на языке Ада. М.: Мир, 1983. — 240 с. — С. 68.
  214. 1 2 Эллис М.[en], Строуструп Б.  Справочное руководство по языку программирования C++ с комментариями. М.: Мир, 1992. — 445 с. ISBN 5-03-002868-4. — С. 65, 86—87.
  215. History of Mathematical Notations, vol. 2, 2007, p. 291.
  216. History of Mathematical Notations, vol. 2, 2007, p. 299, 301.
  217. Sheffer H. M.  A set of five independent postulates for Boolean algebras, with application to logical constants // Transactions of the American Mathematical Society. — 1913. — Vol. 14. — P. 481—488.
  218. Кондаков Н. И., 1975, с. 43, 672—673.
  219. Стяжкин Н. И., 1967, с. 443—444.
  220. Кондаков Н. И., 1975, с. 42, 571.
  221. Стяжкин Н. И., 1967, с. 357, 429—430, 438.
  222. Александрова Н. В., 2008, с. 72.
  223. History of Mathematical Notations, vol. 2, 2007, p. 293—314.
  224. Кондаков Н. И., 1975, с. 102.
  225. Church A.  A Set of Postulates for the Foundation of Logic // Annals of Mathematics. Series 2. — 1932. — Vol. 33, no. 2. — P. 346—366.
  226. Seldin J. P.  The Logic of Church and Curry // Logic from Russell to Church / Ed. by D. M. Gabbay & J. Woods. — Amsterdam: North-Holland, 2009. — xii + 1055 p. — (Handbook of the History of Logic. Vol. 5). ISBN 978-0-444-51620-6. — P. 819—874.
  227. Marciszewski W., Murawski R.  Mechanization of Reasoning in a Historical Perspective. — Amsterdam: Rodopi, 1995. — 267 p. — (Poznań Studies in the Philosophy of the Sciences and the Humanities, vol. 43). ISBN 90-5183-790-9. — P. 162—163.
  228. History of Mathematical Notations, vol. 2, 2007, p. 294.
  229. Александрова Н. В., 2008, с. 104—106.
  230. 1 2 History of Mathematical Notations, vol. 1, 2007, §421.
  231. Weil A.  The Apprenticeship of a Mathematician. — Basel: Birkhäuser Verlag, 1992. — 197 p. ISBN 3-7643-2650-6. — P. 114.
  232. MacLane S.  Categories for the Working Mathematician. — NY: Springer-Verlag, 1971. — ix + 261 p. — (Graduate Texts in Mathematics. Vol. 5). ISBN 978-0-387-90036-0. — P. 29.
  233. Александрова Н. В., 2008, с. 148.
  234. Александрова Н. В., 2008, с. 74—75.
  235. Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. М.: Мир, 1976. — С. 85. — 736 с.
  236. Александрова Н. В., 2008, с. 56—57.
  237. Большаков В. П., Тозик В. Т., Чагина А. В.  Инженерная и компьютерная графика. СПб.: БХВ-Петербург, 2013. — 288 с. ISBN 978-5-9775-0422-5. — С. 90.
  238. Брич З. С., Воюш В. И., Дегтярёва Г. С., Ковалевич Э. В.  Программирование на языке Ассемблера ЕС ЭВМ. М.: Статистика, 1976. — 296 с. — С. 13—14, 19.
  239. Кулаковская В. П., Романовская Л. М., Савченко Т. А., Фельдман Л. С.  Кобол ЭВМ Минск-32. Пособие для работников вычислительных центров. М.: Статистика, 1973. — 284 с.
  240. Брябрин В. М.  Программное обеспечение персональных ЭВМ. 3-е изд. М.: Наука, 1990. — 272 с. ISBN 5-02-014824-5. — С. 17, 113—114.
  241. Смирнов Н. Н.  Программные средства персональных ЭВМ. Л.: Машиностроение, 1990. — 272 с. ISBN 5-217-00029-5. — С. 13, 80—81.

Литература

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии