У интуиции есть своя логика. Гёдель. Теоремы о неполноте - [26]

Как хорошо известно, прогресс математики в отношении каждый раз все большей точности привел к [...] тому, что рассуждения можно осуществить на основе небольших механических правил.

Курт Гёдель, введение к "О формально неразрешимых предложениях... " (1931)

Как Гёдель сделал очевидным, что доказательство его теоремы проверяется компьютером? Он прибегнул к "семантикосинтаксическому дуализму".

В математической логике понятие, связанное с последовательностью символов, считается синтаксическим, если оно зависит только от символов, образующих эту последовательность, при этом неважно его значение, если оно вообще существует.

Например, если мы утверждаем, что последовательность букв Кипа mbwa nyekundu образована 18 символами (считая пробелы), мы говорим о синтаксическом понятии. Действительно, нашу правоту легко проверить с помощью простого подсчета символов, и нас не интересует, есть ли в этом ряду букв какой- то смысл. Другие примеры синтаксических понятий: "первая буква — /С" или "здесь нет буквы А".

Наоборот, если понятие семантическое, оно зависит от значения, которое передает последовательность. Например, если мы говорим, что Кипа mbwa nyekundu истинно, то ясно, что мы говорим о семантическом понятии, потому что не можем сказать, является оно "истинным" или "ложным", если предварительно не узнаем, какое значение заложено в этой последовательности букв (если оно там есть).

На самом деле смысл в высказывании есть: Кипа mbwa nyekundu на суахили означает "бывают красные собаки" (см. рисунок). Теперь мы можем задаться вопросом, истинно предложение или ложно, но все равно ответ дать непросто. Ведь что такое красная собака? Она должна была родиться со шкурой такого цвета или ее могли покрасить позже? Уж не говоря о том, что люди воспринимают цвета по-разному. Целью всех этих рассуждений является пояснение: синтаксические аспекты языка прозрачны, а вот семантические — связаны с путаницей и парадоксами. В соответствии с этой идеей основная предпосылка программы Гильберта состояла в требовании того, чтобы справедливость семантических аспектов математики контролировалась синтаксическими методами. Синтаксис, ясный и не вызывающий сомнений, должен был ограничивать семантику, грозящую парадоксами.

Свойство, относящееся к предложению, называют синтаксическим, если оно зависит только от самих символов, независимо от их значения (например, количество букв в предложении).

Оно является семантическим, если зависит от значения (например, утверждение об истинности или ложности предложения). Синтаксические свойства проверяются механически; семантические — нет.

ПЕРЕСМОТР ПЕРВОЙ ТЕОРЕМЫ

Итак, Курт Гёдель представил доказательство первой теоремы о неполноте таким образом, что всем было очевидно: ее можно проверить с помощью компьютера. Он изложил свое высказывание и каждый шаг доказательства теоремы, апеллируя только к синтаксическим понятиям. 

В предыдущей главе мы сформулировали первую теорему Гёделя о неполноте (теорему Гёделя) следующим образом.

Если выбрать в качестве аксиом любое множество истинных арифметических высказываний и требовать, чтобы доказательства, которые получены на их основе, могли быть проверены алгоритмически, то будет по крайней мере одно истинное высказывание, которое не может быть доказано на основе этих аксиом. 

В этой формулировке теоремы появляется семантическое понятие истинности. Поэтому Гёдель представил его в статье 1931 года не в такой форме. Формулировка Гёделя аналогична, но записана с помощью только синтаксических понятий.

Определим синтаксические понятия, которыми пользовался Гёдель, и переформулируем первую теорему о неполноте.

Для начала скажем, что "являться доказательством, соответствующим требованиям программы Гильберта" — это синтаксическое свойство, поскольку его можно проверить с помощью компьютера посимвольно. Следовательно, идея "доказуемого высказывания" также синтаксическая, поскольку высказывание Р доказуемо, если существует доказательство, заканчивающееся этим высказыванием.

Даже понятие "высказывание" может быть определено синтаксически. Для начала, в аристотелевском определении говорится, что высказывание — это выражение, которому можно назначить значение истинности (истинно или ложно). Так,

"х — простое число"

не является высказыванием, поскольку его значение истинности зависит от того, каково х. И напротив, из двух высказываний:

"Существует некоторое х_} являющееся простым числом", "Для любого х справедливо, что х — простое число"

первое истинное, а второе ложное.

Итак, это семантическое понятие может быть сформулировано синтаксически: высказывание — это выражение, не имеющее переменных (букв х, у, z), которые могут быть свободно заменены числами. То есть это выражение, в котором либо нет переменных, как в случае "4 = 2 + 2", либо все они сопровождаются выражениями типа "для любого х справедливо, что..." или "существует некоторое х, которое...", как это происходит в предыдущих двух примерах. Является выражение высказыванием или нет — это условие можно проверить посимвольно, при этом нет необходимости рассматривать значение выражений. Итак, "высказывание" и "доказуемое высказывание" — два синтаксических понятия, которые Гёдель мог использовать при формулировании своей теоремы.