Принцесса или тигр? - [60]
Примечания. 1. Гёделев метод получения неразрешимого утверждения сводится к построению гёделева утверждения для множества P̅ — дополнения P; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную недоказуемость) должно быть истинным, но недоказуемым в данной системе. Двойственный метод сводится к построению гёделева утверждения не для множества P̅, а для множества R; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную опровержимость) должно быть ложным, но неопровержимым. (Поскольку оно ложно, оно так же недоказуемо и, следовательно, неразрешимо в данной системе.) Следует отметить, что те системы, которые рассматриваются в оригинальной работе Гёделя, удовлетворяют всем четырем условиям — G>1, G>2, G>3 и G>1, так что для построения неразрешимых утверждений можно использовать как тот, как и другой метод.
2. Высказывание, которое утверждает собственную недоказуемость, можно сравнить со словами того обитателя острова рыцарей и плутов, который заявляет, будто он непризнанный рыцарь, точно гак же высказывание, утверждающее свою собственную опровержимость, можно уподобить словам такого обитателя острова, который заявляет, что он отъявленный плут; этот человек и в самом деле мошенник, но неотъявленный. (Предоставляю читателю возможность доказать это самому.)
Решения
1. Предположим, система действительно удовлетворяет условию G>3. Пусть S — любое множество, именуемое в данной системе. Тогда, согласно условию G>3, множество S* тоже именуемо в этой системе. Значит, существует такое число b, для которого А>b = S*. Далее, число x принадлежит множеству S* только в том случае, если число x*x принадлежит множеству S. Поэтому x принадлежит множеству A>b только в том случае, если x*x принадлежит S. В частности, если в качестве x выбрать число b, то это число принадлежит; множеству A>b, только в том случае, если число b*b принадлежит множеству S. Кроме того, число b принадлежит A>b в том и только том случае, если утверждение b ∈ A>b истинно. Поэтому утверждение b ∈ A>b истинно тогда и только тогда, когда b*b принадлежит множеству S. Но число b*b есть гёделев номер утверждения b ∈ A>b. Следовательно, мы имеем, что утверждение b ∈ A>b будет истинным тогда и только тогда, когда гёделев номер этого утверждения принадлежит множеству S. Итак, если утверждение b ∈ A>b истинно, то его гёделев номер принадлежит S; если ж это утверждение ложно, то его гёделев номер принадлежит S. Таким образом, утверждение b ∈ A>b является гёделевым утверждением для S.
2. В системе Фергюссона при любом заданном числе n множество A>3·n+1 представляет собой множество A>n*. Поэтому множество A>301 — это есть множество A>100*. Воспользуемся теперь результатом предыдущей задачи, положив b равным 301. Тогда утверждение 301 ∈ A>301 будет гёделевым утверждением для множества A>100. Вообще для любого числа n, выбрав b = 3·n+1, мы получим, что утверждение b ∈ A>b, является гёделевым для множества A>n в системе Фергюссона.
3. Да. Предположим, что данная система является гёделевой и что условия G>1 и G>2 выполняются; предположим также, что система правильна. Согласно условию G>1, множество R именуемо в этой системе; поэтому, согласно условию G>1, именуемо также и множество P̅ — дополнение P. Тогда, поскольку исходная система гёделева, то существует гёделево утверждение X для P̅. Это означает, что X истинно в том и только том случае, если гёделев номер утверждения X принадлежит P̅. Однако если гёделев номер утверждения X принадлежит P̅, то тем самым он не принадлежит P, а это значит, что утверждение X недоказуемо. Таким образом, гёделево утверждение для P̅ — это ни больше ни меньше как утверждение, которое истинно в том и только том случае, если оно недоказуемо в (данной системе, а такое утверждение (как мы уже видели) как раз и должно быть истинным, но недоказуемым в этой системе (если система правильна).
Итак, фактически суть доказательства Гёделя состоит в построении гёделева утверждения для множества P̅.
4. Очевидно, что всякое утверждение X является гёделевым утверждением для множества T, потому что если X истинно, то его гёделев номер принадлежит Т, а если оно ложно, то его гёделев номер не принадлежит Т. Следовательно, ни одно утверждение не может оказаться гёделевым для T̅, потому что не может существовать ни истинного утверждения X, гёделев номер которого принадлежал бы множеству T̅, ни ложного утверждения X, гёделев номер которого не принадлежал бы множеству T̅.
Читателю будет поучительно убедиться, что для любого множества чисел А и для любого утверждения X это X может являться гёделевым утверждением либо для А, либо для A̅, но никак не для обоих множеств сразу.
5. Рассмотрим сначала произвольную систему, удовлетворяющую условию G>3. В соответствии с решением задачи 1 для любого множества, именуемого в рамках данной системы, существует гёделево утверждение. Кроме того, согласно решению задачи 4 не существует гёделева утверждения для множества
