Mybrary.info
mybrary.info » Книги » Научно-образовательная » Математика » Принцесса или тигр - Смаллиан Рэймонд М. (книги полные версии бесплатно без регистрации TXT) 📗

Принцесса или тигр - Смаллиан Рэймонд М. (книги полные версии бесплатно без регистрации TXT) 📗

Тут можно читать бесплатно Принцесса или тигр - Смаллиан Рэймонд М. (книги полные версии бесплатно без регистрации TXT) 📗. Жанр: Математика. Так же Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте mybrary.info (MYBRARY) или прочесть краткое содержание, предисловие (аннотацию), описание и ознакомиться с отзывами (комментариями) о произведении.
Перейти на страницу:

Решения

1. Предположим, система действительно удовлетворяет условию G3. Пусть S—любое множество, именуемое в данной системе. Тогда, согласно условию G3, множество S* тоже именуемо в этой системе. Значит, существует такое число b, для которого Аb = 8*. Далее, число х принадлежит множеству S* только в том случае, если число х*х принадлежит множеству S.

Поэтому х принадлежит множеству Аb только в том случае, если х*х принадлежит S. В частности, если в качестве х выбрать число b, то это число принадлежит; множеству Ab, только в том случае, если число b* принадлежит множеству S. Кроме того, число b принадлежит Ab в том и только том случае, если утверждение b Є Аb истинно. Поэтому утверждение b Є Аb истинно тогда и только тогда, когда b*b принадлежит множеству S. Но число b*b есть гёделев номер утверждения b Є Ab. Следовательно, мы имеем, что утверждение b Є Ab будет истинным тогда и только тогда, когда гёделев номер этого утверждения принадлежит множеству S. Итак, если утверждение b Є A истинно, то его гёделев номер принадлежит S; если ж это утверждение ложно, то его гёделев номер принадлежит S. Таким образом, утверждение b Є A является гёделевым утверждением для S.

2. В системе Фергюссона при любом заданном числе n множество а3n+i представляет собой множество An*. Поэтому множество A301 — это есть множество A Воспользуемся теперь результатом предыдущей задачи, положив b равным 301. Тогда утверждение 301 Є А301 будет гёделевым утверждением для множества Аb. Вообще для любого числа n, выбрав d = 3n+1, мы получим, что утверждение b Є Ab, является гёделевым для множества Ab в системе Фергюссона.

3. Да. Предположим, что данная система является гёделевой и что условия G1 и G2 выполняются; предположим также, что система правильна. Согласно условию G1, множество R именуемо в этой системе; поэтому, согласно условию G1, именуемо также и множество Р — дополнение R. Тогда, поскольку исходная система гёделева, то существует гёделево утверждение X для Р. Это означает, что X истинно в том и только том случае, если гёделев номер утверждения X принадлежит Р. Однако если гёделев номер утверждения X принадлежит Р, то тем самым он не принадлежит R, а это значит, что утверждение X недоказуемо. Таким образом, гёделево утверждение для R — это ни больше ни меньше как утверждение, которое истинно в том и только том случае, если оно недоказуемо в (данной системе, а такое утверждение (как мы уже видели) как раз и должно быть истинным, но недоказуемым в этой системе (если система правильна).

Итак, фактически суть доказательства Гёделя состоит в построении гёделева утверждения для множества Р.

4. Очевидно, что всякое утверждение X является гёделевым утверждением для множества Т, потому что если X истинно, то его гёделев номер принадлежит Т, а если оно ложно, то его гёделев номер не принадлежит Т. (cследовательно, ни одно утверждение не может оказаться гёделевым для Т, потому что не может существовать ни истинного утверждения Х, гёделев номер которого принадлежал бы множеству Т, ни ложного утверждения X, гёделев номер которого не принадлежал бы множеству Т.

Читателю будет поучительно убедиться, что для любого множества чисел А и для любого утверждения X это X может являться гёделевым утверждением либо для А, либо для А, но никак не для обоих множеств сразу.

5. Рассмотрим сначала произвольную систему, удовлетворяющую условию G3. В соответствии с решением задачи 1 для любого множества, именуемого в рамках данной системы, существует гёделево утверждение. Кроме того, согласно решению задачи 4 не существует гёделева утверждения для множества Т. Следовательно, если система удовлетворяет условию G3, то множество Т не допускает имени в этой системе. Если система удовлетворяет к тому же условию G3, то множество Т не именуемо в этой системе — потому что ли бы это было так, то тогда, согласно условию G3, допускало бы имя и его дополнение Т, что на самом деле не имеет места. Это доказывает, что в системе, удовлетворяющей условиям G2 и G3, множество Т не именуемо.

Окончательно:

а) если выполняется условие G 3, то множество Т не именуемо в данной системе;

б) если выполняются условия G1 и G3, то ни множество Т, ни его дополнение Т в этой системе не именуемы.

6. Как только теорема Т доказана, теорему G можно получить следующим образом.

Предположим, что мы имеем правильную систему, удовлетворяющую условиям G1; G2 и G3 — Из условий G2 и G3, согласно теореме Т, следует, что множество Т не допускает имени в данной системе. Но, согласно условию G1, множество Р допускает имя в данной системе. Поэтому раз Р допускает имя в рамка системы, а Т нет, то, значит, это должны быть разные множества. Однако каждое число, принадлежащее множеству Р, входит также и в множество Т, поскольку нам дано, что система является правильной в том смысле, что каждое доказуемое утверждение в ней истинно. Стало быть, поскольку множество Т не совпадает с множеством Р, в множестве Т должно существовать хотя бы одно число n, которое не принадлежит Р. Вместе с тем, поскольку это n принадлежит Т, оно должно быть гёделевым номером некоего истинного утверждения X. Но поскольку это число n не принадлежит Р, то утверждение X должно быть недоказуемым в данной системе. Значит, утверждение X истинно, но недоказуемо в данной системе. Итак, теорема G действительно имеет место.

7. Пусть теперь нам даны условия G1 и G3.

а. Согласно условию G1, множество R именуемо в данной системе. Тогда, согласно условию G5, множество R* также допускает имя в рамках этой системы. Следовательно, существует такое число Н, при котором Ah = R*. Далее, по определению множества R* число х принадлежит R* в том и только том случае, если число х*х принадлежит множеству R. Поэтому для любого а это х принадлежит Ah в том и только том случае, если число х*х входит в множество R. В частности, если к качестве x выбратьh, то число h будет принадлежать, Ah, в том и только том случае, если число h*h входит в R. Далее, h принадлежит Ah в том и только том случае, если утверждение h Є Ah, истинно. С другой стороны, поскольку число h*h есть гёделев номер утверждения h Є Ah, то h*h входит в R в том и только в том случае, если утверждение h Є Ah опровержимо. Значит, утверждение h Є Ah истинно в том и только в том случае, если оно опровержимо. Отсюда следует, что данное утверждение либо истинно и опровержимо, либо ложно и неопровержимо. Однако оно не может быть истинным и опровержимым, поскольку наша система правильна по условию задачи; следовательно, оно должно быть ложным и неопровержимым. Наконец, раз это утверждение ложно, оно не может быть и доказуемым (опять же потому, что система правильна). Таким образом, утверждение h Є Ah, недоказуемо и неопровержимо (и, кроме того, оно ложно).

б. Пусть нам дано, что множество а10 — это К и что А5n при любом числе n совпадает с множеством An*. Значит, A50 есть множество R*. Тогда, согласно решению «а», если принять h = 50, то утверждение 50 Є A50 будет недоказуемым и неопровержимым. Кроме того, это утверждение будет ложным.

Перейти на страницу:

Смаллиан Рэймонд М. читать все книги автора по порядку

Смаллиан Рэймонд М. - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки mybrary.info.


Принцесса или тигр отзывы

Отзывы читателей о книге Принцесса или тигр, автор: Смаллиан Рэймонд М.. Читайте комментарии и мнения людей о произведении.


Уважаемые читатели и просто посетители нашей библиотеки! Просим Вас придерживаться определенных правил при комментировании литературных произведений.

  • 1. Просьба отказаться от дискриминационных высказываний. Мы защищаем право наших читателей свободно выражать свою точку зрения. Вместе с тем мы не терпим агрессии. На сайте запрещено оставлять комментарий, который содержит унизительные высказывания или призывы к насилию по отношению к отдельным лицам или группам людей на основании их расы, этнического происхождения, вероисповедания, недееспособности, пола, возраста, статуса ветерана, касты или сексуальной ориентации.
  • 2. Просьба отказаться от оскорблений, угроз и запугиваний.
  • 3. Просьба отказаться от нецензурной лексики.
  • 4. Просьба вести себя максимально корректно как по отношению к авторам, так и по отношению к другим читателям и их комментариям.

Надеемся на Ваше понимание и благоразумие. С уважением, администратор mybrary.info.


Прокомментировать
Подтвердите что вы не робот:*