Н.И. Кривохатько
Математика - это то, посредством
чего люди управляют природой
и собой.
А. Н. Колмогоров.
Не будет преувеличением сказать, что, начиная с 17 века, наука превратилась в доминирующий, стремительно набирающий вес фактор развития общества. Наука позволяет находить оптимальные решения в различных ситуациях, указывает пути исследования еще не решенных проблем, подсказывает, куда в данный момент целесообразнее всего направить силы и средства. В большинстве своем мы безоговорочно верим в мощь науки и ее непогрешимость.
Но насколько оправдана такая уверенность (местами даже вера)? Насколько в действительности совершенны инструменты науки и непогрешимы ее выводы? Возьмем на себя смелость усомниться в этом. И в оправдание этих сомнений приведем одно рассуждение. Речь в нем пойдет не о неадекватности какого-то конкретного подхода в какой-то прикладной науке - нет, темой исследования станет предполагаемое внутренное несовершенство науки, которая сама является критерием строгости и как бы даже "научности" любой другой науки. Речь пойдет о математике, причем о самих ее истоках, о тех ее представлениях, которые сложились в незапамятные времена и в течение столетий (точнее, даже тысячелетий) являлись ее незыблемым фундаментом - речь пойдет о числах, о смысле чисел как таковых и способах их представления.
Понятие числа находится в основании математики и ее применений. Отсюда, вопрос логического обоснования данного понятия является чрезвычайно важным для всей математики. Но обоснование чисел любого вида сводится в конце-концов к обоснованию понятия натурального числа. Существует много теорий натурального числа, но каждая из этих теорий имеет свои недостатки, поэтому вопрос логического обоснования понятия числа нельзя считать окончательно разрешенным.
Понятие числа отличается от многих других понятий математики своей первичностью. Это означает, что в преобладающем большинстве логических построений математики понятие числа относится к разряду тех понятий, которые не определяются через другие понятия, но вместе с аксиомами входят в состав первичных данных. Это означает, что математическая наука не содержит в себе ответа на вопрос "Что такое число?" - такого ответа, который заключался бы в определении этого понятия через другие, ранее установленные понятия; математическая наука дает этот ответ в иной форме, перечисляя свойства чисел, выраженные в аксиомах.
Но чем, скажем так, определяется "неопределяемость" понятия? С одной стороны, любое определяемое сейчас понятие в свое время было неопределяемым (чаще в том смысле, что отсутствовало вообще), но позже, в процессе развития познания, определения появлялись. С другой стороны, неопределяемость - это тоже как бы определение, но определение скорее состояния познания в контексте его возможностей. Следовательно, определяемость любого понятия зависит от возможностей познания, которые различны на каждом конкретном этапе развития общества. Но в ситуации, когда возможностей не хватает, а делать что-то надо, мы поступаем просто - используем первое, что дает хоть какое-то решение проблемы. Поэтому и в синтезе самих оснований математики - представлений о числе и построении числовых множеств присутствовал (и присутствует до сих пор) пусть спонтанный, пусть объективно обусловленный, но - произвол. Это утверждение мы также попробуем обосновать в данной работе.
Мы вправе спросить: а возможно ли в принципе существование неопределяемых понятий? При общепринятых способах изложения оснований математики неопределяемые понятия (число, точка и т. д.) возникают как бы из ничего, из пустоты. Но ведь законы мироздания универсальны, поэтому и в области построения и преобразования формальных понятий должен действовать закон, аналогичный закону сохранения вещества: ничего нельзя построить из ничего, из пустоты. Поэтому мы можем утверждать, что возникновение "неопределяемого" понятия числа тем не менее было обусловлено существованием каких-то более общих представлений: пусть не математических, а качественно иного смыслового ряда; пусть не оформленных логически, вербально, но существующих, тем не менее, реально. Именно содержание таких представлений (общих представлений о структуре действительности) обусловило в свое время "отрыв" числа от материального носителя.
Знакомство с математикой традиционно начинается с построения числовых множеств, а основным рабочим образом, используемым для этой цели, является прямая линия - числовая ось. Числа на такой прямой изображаются точками. Ничто не мешает нам определить точки, изображающие числа на числовой оси, как узлы некой одномерной сети, а промежутки между точками - как связи между этими узлами. Узлы и связи между ними образуют систему. Любая система обладает конкретной конфигурацией - структурой, а структура - это не что иное, как пространство. Таким образом, построение числовых множеств и изображение их элементов точками на числовой оси является не чем иным, как конструированием некоего пространства. Исторически первым пространством, сконструированным таким образом, было пространство натуральных чисел.
Натуральные числа - это числа, используемые для счета:
1, 2, 3, 4, ..., n, ...
Натуральные числа образуют множество, называемое множеством натуральных чисел. Множество всех натуральных чисел обозначается символом N:
N = {1; 2; 3; ...; n; ... }.
Множество натуральных чисел является упорядоченным множеством, т. е. для любых двух натуральных чисел m и n имеет место одно из следующих соотношений:
либо m = n;
либо m < n;
либо n < m;
Наименьшим натуральным числом является 1 (единица).
В множестве натуральных чисел вводятся две основные арифметические операции - сложение и умножение. Каждой паре натуральных чисел (n;p) ставится в соответствие натуральное число s, называемое их суммой. Каждой паре натуральных чисел (n;p) можно также поставить в соответствие натуральное число m, называемое их произведением. Таким образом, сумма и произведение любых двух натуральных чисел опять будут натуральными числами. Поэтому говорят, что множество всех натуральных чисел замкнуто относительно операций сложения и умножения.
----*--------*--------*--------*-- ... --*-- ...
1 2 3 4 n
Множество целых чисел есть множество, полученное в результате добавления к множеству всех натуральных чисел новых объектов - числа нуль и отрицательных целых чисел. Число нуль, обозначаемое символом 0 и отрицательные целые числа вводятся следующим образом. Сумма любого натурального числа n и числа 0 есть число n:
n + 0 = n;
Любому натуральному числу n соответствует единственное отрицательное число -n такое, что сумма чисел n и -n равна нулю:
n + (-n) = 0;
Число -n называется противоположным числу n. Число, противоположное числу -n, есть число n: -(-n) = n. Натуральные числа в множестве целых чисел называются положительными целыми числами. Множество целых чисел часто обозначается Z.
Множество целых чисел является упорядоченным множеством, т. е. для любых двух целых чисел m и n справедливо одно и только одно из следующих соотношений:
либо m = n;
либо m < n;
либо n < m;
Множество целых чисел замкнуто относительно операций сложения, умножения и вычитания, т. е. для любых двух данных целых чисел существует единственное третье целое число, являющееся их суммой; существует единственное целое число, являющееся их разностью и, наконец, единственное целое число, являющееся из произведение. Относительно операции деления множество целых чисел не является замкнутым - частное от деления целого числа на нуль либо не существует, либо определено не единственным образом.
...--*-- ... --*----*----*----*----*----*----*-- ... --*-- ...
-n -3 -2 -1 0 1 2 3 n
Рациональные дроби появились, как форма записи чисел, более "мелких", нежели натуральные. Рациональную дробь записывают в виде m/n, где целое число m называют числителем дроби, а целое число n не равное нулю - ее знаменателем.
Натуральные числа, целые числа, рациональные дроби и нуль образуют множество рациональных чисел. Рациональное число - это такое число, которое может быть представлено в виде m/n, где |m| и n - взаимно простые (несократимые) натуральные числа. В случае, когда m не делится на n нацело, частное от деления m на n представляет собой не совпадающее ни с каким целым числом рациональное число.
Всякое рациональное число m/n может быть представлено либо в виде конечной, либо в виде бесконечной периодической дроби; обратно, любая конечная, а также любая бесконечная периодическая десятичная дробь есть запись некоторого рационального числа.
Последнее утверждение (особенно в части, касающейся бесконечных десятичных периодических дробей) вызывает определенные сомнения, суть которых будет изложена ниже. Сейчас же продолжим тему цитированием фрагмента текста из учебника Н. Н. Лузина "Дифференциальное исчисление" (Москва, "Высшая школа", 1961 г.).
"Считается, что одних только рациональных чисел вполне достаточно для нужд измерительной практики, ибо они позволяют выполнять измерения с какой угодно степенью точности. Но одних только рациональных чисел становится уже недостаточно, когда надо решать вопросы геометрии, механики и теоретической физики с абсолютной точностью, ибо здесь необходимо уже знание так называемых иррациональных чисел. Как возникают эти новые числа и как их следует понимать?
Последовательность рациональных чисел сама по себе есть всюду плотная, ибо между двумя такими числами - какими бы близкими друг к другу они ни были - всегда можно найти сколько угодно промежуточных рациональных чисел. Поэтому-то на первый взгляд и кажется, что для каких-нибудь новых чисел в последовательности рациональных чисел как будто совсем не остается никакого места.
Однако указанное первое впечатление оказывается глубоко ошибочным, потому что в последовательности рациональных чисел повсюду имеются просветы, как это становится ясным, когда сопоставим последовательность всех рациональных чисел с последовательностью точек на прямой линии.