Нормы
научной строгости со временем ужесточаются.
Можно полагать, что формулировки Туси
и Ньютона воспринимались современниками
как определения понятия действительного
числа. В наши дни они воспринимаются
как всего лишь полезные комментарии.
Заключённая в этих комментариях
вербализация свидетельствует, что в
XIII - XVIII веках понятие действительного
числа уже с достаточной отчётливостью
воспринималось именно как понятие.
Постепенно, однако, возрастала потребность
не только в интуитивном осознании, но
и в исчерпывающих определениях.
Формулировки Туси и Ньютона потому не
являются таковыми, что содержашиеся в
них термины «величина» и «отношение»
сами нуждаются в разъяснении. Теории
действительных чисел, отвечающие
сегодняшним требованиям строгости,
появились лишь около 1870 года. Первопроходцем
здесь был почти забытый ныне французский
математик Шарль Мерэ (Charles Mбeray; 1835 -
1911). В его жизни было два события, каждое
из которых поставило его на почётнейшее
первое место в некоторой значимой сфере.
В 1854 году Мерэ оказался касбиком - то
есть первым среди принятых по конкурсу
в парижскую Высшую нормальную школу
(каковую благополучно окончил в 1857 г.);
в первоначальном своём значении слово
cacique означает индейского племенного
вождя в доколумбовой Латинской Америке.
В 1869 году Мерэ опубликовал статью, в
которой было впервые дано определение
действительного числа и впервые изложена
математическая теория действительных
чисел. Не только первое, но и второе из
этих событий остались лишь фактами его
биографии. Мерэ имел статус уважаемого,
но не ведущего математика своего времени,
хотя имел основания числиться именно
таковым. Его идеи не были должным образом
оценены современниками и никак не
повлияли на развитие науки. На развитие
науки повлияли появившиеся через
несколько лет публикации прославленных,
в отличие от Мерэ, немецких математиков
Рихарда Дедекинда (1831 - 1916) и Георга
Кантора (1845 - 1918), о котором мы ещё поговорим
в главе 7. Каждый из них предложил некую
конструкцию, посредством которой
действительные числа строились на базе
чисел рациональных. Хотя нет сомнений,
что конструкция Кантора была найдена
им независимо, она повторяет конструкцию
Мерэ.
У нас
здесь нет возможности излагать теории
Дедекинда и Мерэ - Кантора. Отметим лишь,
что строительным материалом для
математического понятия действительного
числа служат рациональные числа, каковые,
в свою очередь, строятся на основе целых
чисел. Это обстоятельство дало возможность
выдающемуся немецкому математику
Леопольду Кбонекеру (1823 - 1891) произнести
в 1886 году знаменитую фразу