Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса (Ливио) - страница 128
1. Ноль есть число.
2. Последующий элемент каждого числа есть число.
3. Никакие два числа не имеют одного и того же последующего элемента.
Сложность в том, что хотя система аксиом Пеано и в самом деле позволяет воспроизвести известные законы арифметики (если ввести дополнительные определения), на ее основе невозможно дать однозначное определение натуральных чисел.
Следующий шаг проделал Бертран Рассел. Рассел считал, что первоначальная идея Фреге – вывести арифметику из логики – это правильный путь. Поставив перед собой нелегкую задачу, Рассел в соавторстве с Альфредом Нортом Уайтхедом (рис. 50) создали невероятный шедевр логической мысли – фундаментальный трехтомный труд «Основания математики» («Principia Mathematica»)[128]. Эта книга стала самым авторитетным трудом в истории логики за исключением разве что «Органона» Аристотеля (на рис. 51 приведен титульный лист первого издания).
Рис. 51
В «Основаниях» Рассел и Уайтхед отстаивали ту точку зрения, что математика в целом зиждется на проработке и развитии законов логики и между ними нет четкого разграничения[129]. Однако, чтобы добиться самодостаточного описания, им нужно было каким-то образом обуздать антиномии, или парадоксы (вдобавок к парадоксу Рассела нашлись и другие). Это требовало очень хитроумных логических манипуляций. Рассел считал, что эти парадоксы возникают исключительно из-за «порочного круга», когда сущности определяют в терминах класса объектов, который сам содержит определяемую сущность. Вот как он об этом писал: «Если я говорю “Наполеон имел все качества, которые сделали его великим полководцем”, я должен определить “качества” таким образом, который не включал бы то, о чем я сейчас говорю, то есть “обладание всеми качествами великого полководца” не должно быть качеством в предположенном смысле». Чтобы избежать этого парадокса, Рассел предложил «теорию типов», в которой класс (множество) принадлежит к более высокому логическому типу, чем его члены[130]. Например, все отдельные игроки футбольной команды «Далласские ковбои» принадлежали бы к типу 0. Сама команда «Далласские ковбои», класс игроков, принадлежала бы к типу 1. Национальная футбольная лига, класс команд, была бы типа 2, а совокупность лиг, если бы таковая существовала, – типа 3 и так далее. По этой системе сама идея класса, который является членом самого себя, не ложна и не истинна, а просто бессмысленна. Поэтому парадоксы наподобие парадокса Рассела в системе Рассела и Уайтхеда не встречаются.
Нет никаких сомнений, что «Основания» – монументальное достижение в логике, однако едва ли можно считать этот труд долгожданными основами математики. Теорию типов Рассела многие считают несколько искусственным способом избавиться от проблемы парадоксов