Читать «Teopeмa Гёделя» онлайн - страница 16

4

Систематическое построение формальной логики

Прежде чем перейти к самой теореме Гёделя, нам придется преодолеть еще два препятствия. Прежде всего нам надо разобраться, зачем, собственно, ему понадобилась Principia Mathematica Уайтхеда и Рассела и в чем суть этой системы; далее, нам понадобится рассмотреть в качестве примера формализации дедуктивной системы один небольшой фрагмент системы Principia,и показать, как можно получить абсолютное доказательство непротиворечивости этого фрагмента.

Обычно, даже если математические доказательства проводятся с соблюдением общепринятых норм профессиональной строгости, эта строгость существенно умаляется в результате некоторого упрощения весьма принципиального характера. Дело в том, что принципы (правила) вывода, употребляемые в доказательствах, в явной форме не формулируются, так что математики применяют их не вполне осознанно. Возьмем, например, евклидовское доказательство того факта, что не существует наибольшего простого числа (целое число, как известно, называется простым, если оно не делится без остатка ни на одно число, кроме единицы и самого себя). Доказательство, проводимое методом reductio ad absurdum (от противного), выглядит следующим образом.

Пусть, в противоречии с доказываемым утверждением, имеется наибольшее простое число. Обозначим его через «x». Тогда:

1. x есть наибольшее простое число.

2. Образуем произведение всех простых чисел, меньших или равных x, и прибавим к этому произведению число 1. В результате получим некоторое число y:

y = (2 × З × 5 × 7 × … × x) + 1.

3. Если у само есть простое число, то x не есть наибольшее простое число, так как у, очевидно, больше x.

4. Если y — составное число (т. е. не является простым), то и тогда х не есть наибольшее простое число; в самом деле, если у — составное, то оно должно иметь некоторый простой делитель z; но z непременно должно быть отличным от всех простых чисел 2, 3, 5, 7, …, x, меньших или равных x, так что z должно в этом случае быть простым числом, превосходящим x.

5. Но у есть либо простое, либо составное число.

6. Следовательно, x не есть наибольшее простое число.

7. Наибольшего простого числа не существует.

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