|
Затем следует нумерация последовательностей символов (частным случаем которых являются формулы). Здесь правило присвоения номеров таково: если имеется последовательность из k символов, имеющих номера соответственно n1, n2, ... nk, то номер этой последовательности имеет вид: 2n1 * Зn2 * 5n3‑ ... pknk, где pk – k‑тое простое число, начиная с двух. Покажем наглядно, как «работает» в этом случае гёделизация. Пусть дана формула Vх1(х2(х1)) (она читается: «Для всякого натурального числа x1 выполняется свойство х2). Найдем ее гёделев номер. Выпишем по порядку гёделевы номера входящих в формулу символов: 9, 17,11,289,11,17,13,13. Номер N рассматриваемой формулы таков: N=29 • З17 • 511 • 7289• 1111• 1317 • 1718 • 1913. Наконец, нумеруются последовательности формул. Если дана последовательность из 5 формул с номерами m1, m2, m3..., ms, то номер последовательности определяется как 2m1 • 3m2 • 5m3 • ... • psms, где ps – 5‑тое простое число. Используя рекурсивные функции, Гёдель показывает, что с помощью проведенной нумерации все «метаарифметические» высказывания, то есть высказывания об арифметических объектах, можно представить как соотношения между числами (гёделевыми номерами). Скажем, утверждение «Данная комбинация символов есть формула» выражается некоторым арифметическим предикатом от гёделева номера этой комбинации n, то есть записывается в виде некоторой арифметической формулы q2n. Аналогично, утверждение «Данная последовательность формул является доказательством» предстает в виде арифметического предиката от номера этой последовательности. Показывается, что арифметизируются и высказывания вида: «Данная формула есть результат подстановки в такую‑то формулу вместо такой‑то переменной такой‑то формулы», «Данная формула доказуема» (то есть существует последовательность формул, являющаяся доказательством, которая кончается на данной формуле) и т. д. Проведя такую работу, Гёдель показал фактически, что исчисление можно значительно «ужать», эаменив символы, формулы и доказательства некими представляющими их числами, а утверждения о формулах можно превратить в арифметические формулы. Решающий момент в построении Гёделя наступает тогда, когда он предъявляет формулу, которая представляет в его системе кодировки метавыоказывание о собственной недосказуемости . В этом случае возникает следующая ситуация. Предположим, что формула, говорящая «Я недоказуема», доказуема. Тогда, если логико‑арифметическая система непротиворечива – и, значит, все доказуемые в ней формулы (тождественно)истинны[118], данная формула не может быть доказуемой; в самом деле, если бы она была доказуемо и, то заключенное в ней утверждение «Я недоказуема» следует считать истинным, то есть признать формулу недоказуемой[119]. Но данная формула не только недоказуема, но и неопровержима, то есть недоказуемо ее отрицание. Таким образом, формулу, имеющую смысл «Я недоказуема», в системе «типа РМ» нельзя ни доказать, ни опровергнуть –это неразрешимая формула. — 84 —
|