Материал: Символы и их творцы

– разобщение. Также говорят: «логическое ИЛИ» либо «логическое сложение». Изначально для обозначения дизъюнкции Уильям Джевонс предложил знак ·|·, Джордж Буль, Эрнст Шредер и Платон Сергеевич Порецкий использовали +. Символ (от лат. ver – или) ввел Бертран Рассел (1908). Символы ‖, |, а также используют в языках программирования.

Дифференциал ( , ( )). Линейная часть прира-

щения функции (от лат. differentia — разность, различие). Готфрид Лейбниц, Якоб и Иоганн Бернулли слово «differentia» употребляли в смысле «приращение». С 1675 г. Лейбниц для «бесконечно малой разности» стал использовать букву d.

Дополнение множества ( ). Множество всех элементов универсума , не принадлежащих : { | / }.

Обозначение ввел Джузеппе Пеано (1888).

Дробная часть числа ({ }). Разность и его целой части: { } = − [ ].

ной черты, зато вся дробь помещалась в прямоугольник. Дроби получили распространение в Европе после работ Леонардо Фибоначчи. Именно он начал отделять числи-

12

тель от знаменателя чертой (1202). Окончательно такая запись дроби закрепилась после работы Иоганна Видмана

«долями» или «ломаными числами» (по аналогии с лат. fracture – обломок), а термин «дробь» ввел Леонид Филлиппович Магницкий в своей «Арифметике» (1703).

Импликация ( → , , ). Логиче-

ская связка, соответствующая грамматической конструкции «если A, то B». Термин происходит от лат. implicatio – связь. Символ «стрелка» (→) предложил Давид Гильберт

(1922) (иногда его изображают как ). Ранее Джордж

Пеано (1898) использовал обозначение . Его ана-

лог в «тироновых нотах» – знак – читался как causa, что в переводе с латинского означает «причина». Индекс ( , , ). Индексировать однородные переменные впервые начал Исаак Ньютон (1717). Двойное индексирование применил Карл Густав Якоби (1835). В качестве индексов обычно (но не всегда) используют

натуральные числа.

Интеграл (∫ ( ) , ∫ ( ) ). Слово «интеграл» впервые употребил в печати Якоб Бернулли (1690).

Возможно, термин происходит от лат. integer – целый, но это же слово можно перевести как «нерешенный». По дру-

гому предположению, основой послужило латинское слово integro – восполнять, восстанавливать. Знак

интеграла (∫ ) – вытянутую букву

, первую букву латинского слова summa, впервые использовал Готфрид Лейб-

ниц в конце XVII в. В английской литературе знак ∫ по-

явился в 1693 г. и вскоре был принят большинством математиков. Однако Исаак Ньютон, рассматривавший интегрирование не как операцию, а как задачу решения урав-

нения ′ = ( ), использовал обозначения f(x) и ( ).

Символ определенного интеграла в привычном нам ви- де ∫ ( ) предложил французский математик и физик Жан Батист Жозеф Фурье в начале XIX в. В 1923 г. Хендрик Крамерс обозначил криволинейный ин-

теграл по замкнутому контуру символом .

Кванторы ( , ! ). Квантор – общее название

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

Чарльзом Пирсом (1885), и квантор всеобщности ( ), предложенный Герхардом Генценом (1935). читается как «существует», – «любой», «каждый». Символы представ-

ляют собой перевернутые первые буквы английских слов existence – существование – и any – любой. Иногда применяют квантор существования и единственности !.

14

Конъюнкция ( & , , · , ). Название

логической операции происходит от лат. conjunctio – союз, связь. Конъюнкцию также называют «логическим И» или «логическим умножением». Символ «амперсанд» (&)

впервые появился как графическое сокращение латинского союза et – «и» – в «тироновых нотах». С начала XIX в. до начала XX в. знак & стоял в конце английского алфа-

вита и при его чтении последние буквы произносили как «x, y, z, and per se and». Отсюда название символа «амперсанд» (лат. – сама по себе или как таковая). В середине XIX в. Джорж Буль пользовался знаком умножения (·) (1854). В 1930 г. Арнольд Гейтинг применил знак , ко-

торый в стенографической системе Джона Уиллиса (1602) соответствует букве «a», первой букве английского and. В свою очередь, в систему Уиллиса знак попал из «тироновых нот». В ряде языков программирования

«логическое И» обозначается как AND.

√ √ √

Корень ( , 3 , 4 , . . .). Символ операции извлечения корня называют радикалом. Джероламо Кардано и ряд других средневековых математиков обозначали квадратный корень символом Rx (от лат. radix – корень). Современное обозначение идет от малой буквы . Его впер-

вые применил Кристоф Рудольф (1525). Черту над подкоренным выражением стал использовать Рене Декарт (1637)

√

дабы не окружать его скобками. Символ для произ-

вольного натурального ввел Альберт Жирар (1629),

а закрепили Исаак Ньютон и Готфрид Лейбниц. Логарифм (log, lg и ln). Логарифм «построил» из

двух греческих слов – (отношение) и

(число) – Джон Непер. Он же впервые употребил термин в работе «Описание удивительной таблицы логарифмов» (1614). Первые таблицы десятичных логарифмов опубликовал Генри Бригс (1617), поэтому на Западе десятичные логарифмы часто называют бригсовыми. Знак логарифма появился почти одновременно с первыми логарифмическими таблицами: Log – у Иогана Кеплера (1624) и Генри Бригса (1631), log – у Бонавентуры Кавальери (1632). В 1619 г. Джон Спайделл составил таблицу натуральных логарифмов, т. е. логарифмов с числом в основании, но

сам термин «натуральный логарифм» ввели позднее Пьетро Менголи (1659) и Николас Меркатор (1668). Уильям Отред (1622) и Эдмунд Унгейт (1620) изобрели логарифмическую линейку – счетное механическое устройство, служившее калькулятором вплоть до середины XX в. В России первые таблицы логарифмов появились при участии Леонтия Филипповича Магницкого (1703). Современное определение логарифма дал Леонард Эйлер в книге «Введение в анализ бесконечных» (1748). До конца XIX в.