JК
Принцесса или тигр :: Смаллиан Рэймонд
Страница: 210 из 257Что можно сказать о свойствах утверждения X?
Высказанная здесь идея развивается нами в следующей задаче.
7. Рассмотрим теперь правильную систему, которая удовлетворяет условию G3, а вместо условий G1 G2 потребуем выполнения следующего условия.
Условие G1. Множество R именуемо в данной системе. (Таким образом, мы предполагаем, что система правильна и удовлетворяет условиям G1 и G3.)
а. Показать, что существует такое утверждение, которое нельзя ни доказать, ни опровергнуть в данной системе.
б. Рассмотрим следующий частный случай: пусть нам дано, что а10 — это множество R и что для любого числа n множество А5n представляет собой множество (таких чисел х, для которых число х*х принадлежит Аn (здесь мы имеем частный случай условия G3). Задача теперь состоит в том, чтобы найти утверждение, которое было бы и недоказуемым, и неопровержимым и данной системе, а также определить, является ли это утверждение истинным или ложным.
Примечания.
1. Гёлелев метод получения неразрешимого утверждения сводится к построению гёделева утверждения для множества Р — дополнения R; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную недоказуемость) должно быть истинным, но недоказуемым в данной системе. Двойственный метод сводится к построению гёделева утверждения не для множества Р, а для множества R; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную опровержимость) должно быть ложным, но неопровержимым.
Высказанная здесь идея развивается нами в следующей задаче.
7. Рассмотрим теперь правильную систему, которая удовлетворяет условию G3, а вместо условий G1 G2 потребуем выполнения следующего условия.
Условие G1. Множество R именуемо в данной системе. (Таким образом, мы предполагаем, что система правильна и удовлетворяет условиям G1 и G3.)
а. Показать, что существует такое утверждение, которое нельзя ни доказать, ни опровергнуть в данной системе.
б. Рассмотрим следующий частный случай: пусть нам дано, что а10 — это множество R и что для любого числа n множество А5n представляет собой множество (таких чисел х, для которых число х*х принадлежит Аn (здесь мы имеем частный случай условия G3). Задача теперь состоит в том, чтобы найти утверждение, которое было бы и недоказуемым, и неопровержимым и данной системе, а также определить, является ли это утверждение истинным или ложным.
Примечания.
1. Гёлелев метод получения неразрешимого утверждения сводится к построению гёделева утверждения для множества Р — дополнения R; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную недоказуемость) должно быть истинным, но недоказуемым в данной системе. Двойственный метод сводится к построению гёделева утверждения не для множества Р, а для множества R; такое утверждение (его можно рассматривать как высказывание, утверждающее собственную опровержимость) должно быть ложным, но неопровержимым.