Академический Документы
Профессиональный Документы
Культура Документы
АН А Л И Т И Ч Е С К О Й
ФИЛОСОФИИ
Раймонд Смаллиан
Раймонд СМАЛЛИАН
В О В ЕК И
НЕРАЗРЕШ ИМ ОЕ
Путь к Геделю
через заним ат ельны е
загадки
By Raymond SMALLYAN
F O R E V E R U N D E C ID E D
A Puzzle G uide to Godel
МОСКВА
KAHО H+
2013
УДК 1/14
ББК 87.6
С50
Смаллиан Раймонд
С50 Вовеки неразрешимое. Путь к Геделю через занима
тельные загадки / Раймонд Смаллиан. Пер. В. В. Це-
лищева. — М.: «Канон + » РОО И «Реабилитация»,
2013. —303 с.
ISBN 978-5-88373-081-7
Эта книга представляет собой введение в теоремы Геделя по
средством логических занимательных проблем с применением мате
матической логики. Аргументация Геделя перенесена из формальной
области математических систем в область идей, более доступных
обычному читателю. Основной упор сделан на системы вер и их со
отношению с математикой. Это приводит к семантике возможных
миров, которая играет существенную роль в компьютерных исследо
ваниях и искусственном интеллекте.
У Д К 1/14
Б Б К 87.6
6
ПРЕДИСЛОВИЕ
7
ПРЕДИСЛОВИЕ
Раймонд Смаллиан
1986 г.
8
ЧАСТЬ I
ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
9
ЧАСТЬ I. ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
10
ГЛАВА 1. Дьявольская загадка
1
ЧАСТЬ I. ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
12
ГЛАВА 1. Дьявольская загадка
1. Первый вариант
2. Второй вариант
13
ЧАСТЬ I. ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
3. Извращенный вариант
14
ГЛАВА 1. Дьявольская загадка
15
ГЛАВА 2. Удивлены?
16
ГЛАВА 2. Удивлены?
17
ЧАСТЬ I. ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
18
ГЛАВА 2. Удивлены?
19
ЧАСТЬ I. ВЫ МОГЛИ БЫ УДИВИТЬСЯ!
20
ЧАСТЬ II
Л О ГИ К А ИСТИНЫ И ЛЖ И
Визит МакГрегора
21
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
1. (И)
2. (Или)
22
ГЛАВА 3. Собиратель налогов
3. (Если, то)
23
ЧАСТЬ II. Л О ГИКА ИСТИНЫ И ЛЖ И
24
ГЛАВА 3. Собиратель налогов
25
ЧАСТЬ II. ЛОГИКА истины и лжи
26
ГЛАВА 3. Собиратель налогов
27
ЧАСТЬ II. ЛОГИКА истины и лжи
28
ГЛАВА 3. Собиратель налогов
6.
29
ЧАСТЬ II. ЛОГИКА истины и лжи
7.
30
ГЛАВА 4. В поисках Ооны
1.
Однажды муж посетил остров в поисках Ооны и встре
тил двух Обитателей, А и В. Он спросил их, приземлялась
ли на остров Оона. Он получил следующие ответы:
31
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
2.
32
ГЛАВА 4. В поисках Ооны
3.
33
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
4.
34
ГЛАВА 4. В поисках Ооны
5.
А: Она на острове.
В: Ооны нет на острове.
С: Оона была здесь вчера.
D: Ооны нет сегодня здесь, и не было ее и вчера.
Е: Либо D есть Плут, или же С есть Рыцарь.
35
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
36
ГЛАВА 5. Межпланетная путаница
1.
37
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
2.
38
ГЛАВА 5. Межпланетная путаница
3.
39
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
4.
5.
40
ГЛАВА 5. Межпланетная путаница
6.
41
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
7.
42
ГЛАВА 5. Межпланетная путаница
8.
43
ЧАСТЬ II. ЛОГИКА ИСТИНЫ И ЛЖИ
9.
А: Мы оба с Венеры.
В: Это не правда!
44
ГЛАВА 5. Межпланетная путаница
10.
45
ЧАСТЬ I
РЫЦАРИ, ПЛУТЫ
И П РОПОЗИ ЦИОН АЛ ЬН АЯ
Л О ГИ К А
ГЛАВА 6. Элементы
пропозициональной логики
Логические связки
46
ГЛАВА 6. Элементы пропозициональной логики
(1) (не)
(2) & (и)
(3) ∨ (или)
(4) ⊃ (если, то)
(5) ≡ (если и только если)
47
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
T=F
F=Т
Т&Т = Т
T&F = F
F&T = F
F&F = F
48
ГЛАВА 6. Элементы пропозициональной логики
49
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
50
ГЛАВА 6. Элементы пропозициональной логики
51
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
52
ГЛАВА 6. Элементы пропозициональной логики
Тавтологии
Предложение называется тавтологией, если оно уста
новлено на основании только лишь правил истинностных
53
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
54
ГЛАВА 6. Элементы пропозициональной логики
55
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
Некоторые тавтологии
56
ГЛАВА 6. Элементы пропозициональной логики
(7) ((рvq)&((p⊃r)&(q⊃r)⊃ r.
Это другой знакомый принцип, известный под названи
ем доказательства методом отдельных случаев. Предпо
ложим, что p∨q истинно. Предположим также, что р влечет
q и q влечет r. Тогда r должно быть истинным (независимо
от того, является истинным р, или же q, или же оба).
Читатель, не имеющий опыта с пропозициональной ло
гикой, должен выиграть от решения следующих упражне
ний.
Установить, какое из предложений является тавтоло
гией:
(a) (p⊃q)⊃(q⊃p)
(b) (р⊃q)⊃(⌝p⊃⌝q)
(c) (p⊃q)⊃(⌝ q⊃⌝p)
(d) (p≡q)⊃(⌝ p≡⌝q)
(e) ⌝(р⊃⌝р)
(f) ⌝ (p≡⌝p)
(g) ⌝(p&q)⊃( ⌝p& ⌝ q)
(h) ⌝ (p∨q)⊃(⌝ p∨⌝q)
(i) (⌝ p∨⌝q)⊃ ⌝(p∨q)
(j) ⌝(p&q)≡(⌝p∨ ⌝q)
(k) ⌝ (p∨q)≡(⌝ p&⌝ q)
(l) (q≡r)⊃((p⊃q)≡(q⊃r))
(m) (p≡(p&q))≡(q≡(p∨q))
57
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
Ответы: (а) Нет, (b) Нет, (с) Да, (d) Да, (е) Нет!, (f) Да,
(g) Нет, (h) Да, (i) Нет, (j ) Да, (k) Да, (l) Да, (m) Да (оба
предложения p≡(p&q) и (q≡(p∨q)) эквивалентны p⊃q).
Относительно (е) многие начинающие полагают, что
никакое предложение р не может влечь свое отрицание.
Но это не так! Если р оказывается ложным, тогда ⌝ р ис
тинно, отсюда, в этом случае ⌝ (р⊃⌝р) истинно. Однако
никакое предложение не может быть эквивалентным сво
ему собственному отрицанию, и поэтому (f) есть в самом
деле тавтология.
Обсуждение. Значение тавтологий состоит в том, что
они не только истинны, но и логически достоверны. Ника
кой научный эксперимент не необходим для установления
их истинности - они могут быть проверены только на ос
новании чистого разума.
Тавтологии можно альтернативно охарактеризовать без
обращения к понятию формулы. Давайте определим со-
стояние дел как некоторую классификацию всех пред
ложений на две категории - истинные предложения и
ложные предложения - классификацию, подверженную
ограничению, что она должна выполнять истинностные
таблицы для логических связок (например, мы не можем
классифицировать p∨q как истинное предложение, если р и
q классифицированы как ложные предложения). Тавтоло
гия тогда есть предложение, которое истинно в каждом
возможном состоянии дел.
Это напрямую связано с понятием других возможных
миров, принадлежащему Лейбницу. Он утверждал, что из
всех возможных миров наш мир является наилучшим.
Честно говоря, я понятия не имею, был он прав в этом от
ношении или нет, но интерес представляет то обстоятель-
58
ГЛАВА 6. Элементы пропозициональной логики
59
глава7. Рыцари, Плуты
и пропозициональная логика
60
ГЛАВА 7. Рыцари, Плуты и пропозициональная логика
61
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
(k1=(⌝k1& ⌝ k2))⊃k2.
Полное математическое содержание этой проблемы со
стоит в том, что для любых двух предложении k1 и k2 сле
дующее предложение есть тавтология: (k ≡ (⌝k1& ⌝k2))⊃
⊃ (⌝k1&k2).
62
ГЛАВА 7. Рыцари, Плуты, и пропозициональная логика
У п р а ж н е н и е 1.
Давайте рассмотрим трех Обитателей Р 1, Р2 и Р3. Пред
положим, что P1 и Р2делают следующие утверждения:
Р1: Р2 и Р3 оба Рыцари.
63
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
У п р а ж н е н и е 2.
(a) Является ли тавтологией следующее предложение:
Упражнение 3.
Покажите, что предложение p3 есть логическое след
ствие двух следующих предложений:
Упражнение 4.
Предположим, что P1, Р2, Р3 являются тремя Обитате
лями Острова Рыцарей и Плутов и что P1 и Р2 делают сле
дующие утверждения:
Р 1: Р2 есть Плут;
Р2: P1 и Р3 принадлежат к различным типам.
(a) Является ли Р3 Рыцарем или Плутом?
(b) Как это соотносится с Упражнением 3?
64
ГЛАВА 7. Рыцари, Плуты и пропозициональная логика
Проблемы Ооны
У п р а ж н е н и е 5.
Предположим, что муж ищет Оону и встречает двух Оби
тателей А и В, которые делают следующие утверждения:
65
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
Упражнение 6.
На другом острове два Обитателя А и В делают два
следующих заявления:
У п р а ж н е н и е 7.
На другом острове два Обитателя А и В делают два
следующих заявления:
О т в е т ы на У п р а ж н е н и я 5 -7 .
66
ГЛАВА 7. Рыцари, Плуты и пропозициональная логика
(1) (V1≡ F 1) ≡ V 2;
(2) (V2≡ F2) ≡ ⌝V 1;
(3) (V 1≡ F 1) ≡ ⌝F2;
(4) (V2≡ F2) ≡ F 1.
Истинностные значения V 1, F 1, V 2, F2 могут быть най
дены по таблице. (Есть четыре неизвестных V 1, F 1, V 2, F2,
и поэтому есть 16 случаев для рассмотрения!)
67
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
68
ГЛАВА 8. Логическое замыкание
и непротиворечивость
1.
Предположим, что разумное существо с Марса прибы
вает на Землю и хочет научиться нашей логике. Он заявля
ет, что понял слова «нет» и «и», но не знает значения слова
«или». Как можно его объяснить ему, используя только
понятия нет и и?
69
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
2.
Теперь, предположим, что к нам прибывает леди с пла
неты Венера и говорит нам, что она понимает значение ⌝
и v , но хочет, чтобы объяснили ей значение & . Как опреде
лить & в терминах ⌝ и v ? (То есть какое выражение в тер
минах р, q, ⌝ и v логически эквивалентно p&q?)
3.
В этот раз прибыло существо с Юпитера, которое по
нимает ⌝ , & , ∨ и хочет от нас, чтобы мы определили ⊃ в
этих терминах. Как это можно сделать?
70
ГЛАВА 8. Логическое замыкание и непротиворечивость
4.
В этот раз прибыло существо с Сатурна, которое пони
мает, что довольно странно, ⌝ и ⊃, но не понимает ни & ,
ни v . Как мы можем объяснить ему & и ∨?
5.
71
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
6.
Ясно, что логическая связка ≡ может быть определена
в терминах ⌝ , & , ∨ . Покажите два различных способа сде
лать это.
7. Специальная проблема
72
ГЛ АВА 8. Логическое замыкание и непротиворечивость
8.
73
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
74
ГЛАВА 8. Логическое замыкание и непротиворечивость
9.
Как определить все логические связки через ⟘ и ⊃?
Логическое замыкание
75
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
10.
Р еш ен ие:
(a) Предположим, машина доказывает р. Она также до
кажет p⊃ ⌝ ⌝ р (так как это тавтология), отсюда, она напе
чатает ⌝ ⌝ р (по второму условию, определяющему логиче
ское познавание).
(b) Предположим, что машина доказывает р и доказы
вает q. Далее, предложение p⊃(q⊃(p&q)) является тавтоло
гией, отсюда, машина докажет его. Раз машина докажет р и
p⊃(q⊃(p&q)), она должна доказать q⊃(p&q). Поскольку она
доказывает q, она должна доказать p&q.
76
ГЛАВА 8. Логическое замыкание и непротиворечивость
77
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
78
ГЛАВА 8. Логическое замыкание и непротиворечивость
11.
79
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
12.
80
ГЛАВА 8. Логическое замыкание и непротиворечивость
Непротиворечивость
81
ЧАСТЬ III. РЫЦАРИ, ПЛУТЫ И ПРОПОЗИЦИОНАЛЬНАЯ...
13.
Доказать Принцип С .
82
ЧАСТЬ IV
БУДЕМ ВНИМАТЕЛЬНЫ!
глава 9. Парадоксально?
83
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
84
ГЛАВА 9. Парадоксально?
85
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
86
ГЛАВА 9. Парадоксально?
1.
Начинаем сейчас исследовать интересную проблему.
При дополнительных условиях, которые мы сделали, аргу
менты Мыслителя, что Обитатель есть Рыцарь и что Оби
татель есть Плут, кажутся полностью обоснованными.
И все же Обитатель не может быть одновременно Рыцарем
и Плутом. Что же не так с аргументацией Мыслителя?
87
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
88
ГЛАВА 9. Парадоксально?
89
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
2. Дуальная проблема
90
ГЛАВА 9. Парадоксально?
3.
Предположим, что студент есть Мыслитель типа 1, что
утверждение профессора истинно и студент верит в него.
Получаем ли мы при этом парадокс?
91
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
92
Г ЛАВА 9. Парадоксально?
93
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
94
ГЛАВА 9. Парадоксально?
95
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
96
ГЛАВА 10. Проблема усугубляется
Самонадеянные Мыслители
97
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
1.
98
ГЛАВА 10. Проблема усугубляется
2.
Докажите Теорему 1.
99
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
Странные мыслители
Назовем Мыслителя точным в отношении данного
предложения р, если вера Мыслителя в р влечет истин
ность р. То есть либо он не верит в р, либо он верит в р и р
истинно. Мыслитель неточен, если он верит в р, и р ложно.
100
ГЛАВА 10. Проблема усугубляется
3.
101
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
102
ГЛАВА 10. Проблема усугубляется
103
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
Мыслитель типа 1*
Под Мыслителем типа 1* мы имеем в виду Мыслителя
типа 1 с дополнительным свойством, что для любых двух
предложений р и q, если он вообще верит в предложение
p⊃q, тогда он будет верить, что если он когда-либо поверит
в р, тогда он также поверит в q. Символически, если Мыс
литель когда-либо поверит в p⊃q, тогда он поверит
в Bp⊃Bq.
Давайте заметим, что если Мыслитель типа 1 действи
тельно верит в p⊃q, тогда истинно, что если он когда-либо
поверит в р, тогда он поверит в q, то есть, Bp⊃Bq есть ис
тинное предложение (если он верит в p⊃q). От Мыслителя
104
ГЛАВА 10. Проблема усугубляется
105
ЧАСТЬ IV. БУДЕМ ВНИМАТЕЛЬНЫ!
106
ГЛАВА 10. Проблема усугубляется
107
ЧАСТЬ V
ЗАТРУДНЕНИЯ
С НЕПРОТИВОРЕЧИВОСТЬЮ
Логики,
ГЛАВА 11.
которые мыслят о самих себе
108
ГЛАВА 11. Логики, которые мыслят о самих себе
109
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
110
ГЛАВА 11. Логики, которые мыслят о самих себе
1.
111
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
(2) B(q⊃r)⊃(Bq⊃Br).
112
ГЛАВА 11. Логики, которые мыслят о самих себе
2.
3. Регулярность
4.
113
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
5.
Есть интересная связь между регулярностью и нор
мальностью. Для регулярного Мыслителя типа 1, если име
ется такое предложение, как q, такое, что Мыслитель ве
рит в Bq, тогда он должен быть нормальным. Почему?
6.
Любой регулярный Мыслитель типа 1, который верит
в p и верит в q, будет верить в p&q (которое есть логиче-
114
ГЛАВА 11. Логики, которые мыслят о самих себе
Непротиворечивость
7.
116
ГЛАВА 11. Логики, которые мыслят о самих себе
Противоречивость и странность
117
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
9. Маленькая загадка
118
ГЛАВА 11. Логики, которые мыслят о самих себе
Осознание самосознания
119
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
10.
120
ГЛАВА 11. Логики, которые мыслят о самих себе
121
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
122
Затруднения
ГЛАВА 12.
с непротиворечивостью
123
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
1.
Доказать Теорему 1.
124
ГЛАВА 12. Затруднения с непротиворечивостью
125
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
126
ГЛАВА 12. Затруднения с непротиворечивостью
127
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
128
ГЛАВА 12. Затруднения с непротиворечивостью
Дуальная к Теореме G
129
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
2.
130
ГЛАВА 12. Затруднения с непротиворечивостью
131
глава 13. Геделевы системы
Все доказанные до сих пор результаты о Мыслителях
и их верах являются аналогами метаматематических ре
зультатов о математических системах и предложениях, до
казуемых в них. Перед тем как обратиться именно к ним,
давайте подведем итоги в отношении наиболее важных
фактов, которые мы доказали в последних нескольких
главах.
Краткие итоги I
132
ГЛАВА 13. Геделевы системы
133
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
134
ГЛАВА 13. Геделевы системы
Краткие итоги I*
(1) Если Геделева система типа 1 может доказать
свою собственную точность, тогда она неточна, - на
самом деле, она странна.
(2) Если Геделева система типа 1* может доказать
свою собственную не-странность, тогда она странна.
(3) Если Геделева система типа 3 может доказать
свою собственную не-странность, тогда она противо
речива.
(4) Если Геделева система типа 4 может доказать
свою собственную непротиворечивость, тогда она
противоречива.
135
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
136
ГЛАВА 13. Геделевы системы
137
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
138
ГЛАВА 14. Еще большие затруднения
с непротиворечивостью
1.
2.
Предположим, что Мыслитель верит, что неточен. До
кажите, что он прав!
139
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
3.
4.
140
ГЛАВА 14. Еще большие затруднения с непротиворечивостью
141
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
5.
142
ГЛАВА 14. Еще большие затруднения с непротиворечивостью
6.
Это любопытная проблема. Мыслитель типа 4 приходит
к тому, что он верит в Остров Рыцарей и Плутов (он верит
в правила Острова), а Обитатель говорит ему следующие
две вещи:
(1) Ты поверишь, что я есть Плут.
(2) Ты всегда будешь непротиворечивым.
143
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
7.
144
ГЛАВА 14. Еще большие затруднения с непротиворечивостью
Застенчивые Мыслители
Давайте говорить, что Мыслитель не должен был бы
верить в р, если его вера в р приведет его к противоречиво
сти. Давайте говорить, что Мыслитель боится верить в р,
если он верит в Bp⊃B⟘, то есть если он верит, что его вера
в р приведет его к противоречивости. (Другими слова
ми, он боится верит в р, если он верит, что он не должен
верить в р).
145
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
8.
146
ГЛАВА 14. Еще большие затруднения с непротиворечивостью
9.
147
ЧАСТЬ V. ЗАТРУДНЕНИЯ С НЕПРОТИВОРЕЧИВОСТЬЮ
10.
148
ЧАСТЬ VI
149
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЁБА
150
ГЛАВА 15. Самовыполнимые веры
151
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА Л ЁВА
152
ГЛАВА 15. Самовыполнимые веры
153
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЁ Б А
1. B S⊃S.
2. (g&Bg)⊃S.
3. ⌝ g⊃Bg.
4. S⊃g.
154
ГЛАВА 15. Самовыполнимые веры
2.
Предположим, что Мыслитель типа 4 опять верит в
B C ⊃C , но в этот раз Обитатель говорит: «Если ты когда-
либо поверишь, что я - Рыцарь, тогда ты поверишь, что
лечение срабатывает». Докажите, что Мыслитель опять
поверит, что лечение срабатывает.
155
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЕВА
3.
Снова Мыслитель типа 4 имеет априорную веру, что
если он поверит, что лечение сработает, тогда лечение сра
ботает. На этот раз Обитатель говорит ему: «Рано или
поздно ты поверишь, что если я - Рыцарь, лечение срабо
тает». Мы опять увидим, что Мыслитель поверит, что ле
чение сработает.
Более обще мы докажем следующую теорему.
156
ГЛАВА 15. Самовыполнимые веры
157
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЁВА
158
ГЛАВА 15. Самовыполнимые веры
159
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА Л ЕВА
Дуальные формы
Проблемы 1, 2 и 3 (более обще, Теоремы 1, 2 и 3) имеют
дуальные формы, которые весьма любопытны.
1° (Дуальное к Проблеме 1)
Вновь Мыслитель типа 1 посещает Остров, уже веря,
что если он поверит, что лечение срабатывает, тогда лече
ние сработает. Он встречает Обитателя, который говорит
ему: «Лечение не сработает, и ты поверишь, что я есть
Плут».
Докажите, что Мыслитель поверит, что лечение срабо
тает.
Решение: Мы могли бы доказать это с некоторым ста
ранием, но легче использовать преимущества Теоремы 1,
которую мы уже доказали.
2° (Дуальное к Проблеме 2)
Это подобно Проблеме 1#, за исключением того, что
Обитатель говорит: «Если ты поверишь, что я ест Плут, но
ты никогда не поверишь, что лечение сработает». Покажи-
160
ГЛАВА 15. Самовыполнимые веры
3° (Дуальное к Проблеме 3)
161
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЁВА
162
ГЛАВА 15. Самовыполнимые веры
163
ГЛАВА 16. А лм аз Раджи
1. Первая версия
164
ГЛАВА 16. Алмаз Раджи
(1) k≡(Bk⊃BD);
(2) k≡(B k⊃D).
(1)' (Bk⊃BD)⊃k;
(2)' k⊃(Bk⊃D).
Как мы увидим, факт, что Мыслитель верит даже в (1)'
и (2)', достаточен для решения проблемы.
Так как он верит в (2)', по Лемме 1 из последней главы,
он также поверит в B k⊃BD. Веря в это и веря в (1)', он то
гда поверит в k. Веря в k и веря в (2)', тогда он поверит в
Bk⊃D. Также, поскольку он верит в k , он поверит в Bk, и
отсюда, он поверит в D. Следовательно, BD истинно. От
сюда, Bk⊃BD истинно, и так как (1) истинно (правила Ост
рова действительно соблюдаются), тогда к истинно (Оби
татель действительно есть Рыцарь). Тогда, поскольку (2)
истинно, предложение B k⊃D истинно. Также, B k истинно
(мы видели, что Мыслитель поверит в k), и таким образом,
D истинно. Следовательно, алмаз находится на Острове.
165
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА Л Ё БА
2. Вторая версия
166
ГЛАВА 16. Алмаз Раджи
3. Третья версия
Р еш ен и е:
Ш аг 1. Мыслитель верит в k≡(Bk⊃⌝D) благодаря пер
вому утверждению Обитателя. Тогда, по Лемме 1 послед
ней главы, Мыслитель поверит в Bk⊃B ⌝ D. И поэтому
Мыслитель рассуждает так: «Если я когда-либо поверю,
что он есть Рыцарь, тогда я поверю, что алмаз не находится
на Острове. Если я поверю, что алмаз все-таки на Острове,
тогда я буду противоречив. Следовательно, если я когда-
либо поверю, что он есть Рыцарь, тогда его второе утвер
ждение истинно. И, конечно, если его второе утверждение
истинно, тогда он есть Рыцарь. Это доказывает, что если
я когда-либо поверю, что он есть Рыцарь, тогда он на са
мом деле есть Рыцарь».
167
ЧАСТЬ VI. САМ ОВЫ ПОЛНИМ Ы Е ВЕРЫ И ТЕОРЕМ А Л Ё Б А
4. Четвертая версия
Согласно четвертой версии, Обитатель сделал только
одно утверждение:
(1) «Если ты когда-либо поверишь, что я есть Рыцарь,
тогда ты поверишь, что алмаз находится на Острове».
Мыслитель, конечно же, остается тут ни с чем. Тогда он
обсуждает эту ситуацию с Мудрецом Острова, который,
168
ГЛАВА 16. Алмаз Раджи
169
ЧАСТЬ VI. САМ ОВЫ ПОЛНИМ Ы Е ВЕРЫ И ТЕОРЕМА Л Ё Б А
5. Пятая версия
170
ГЛАВА 16. Алмаз Раджи
171
ГЛАВА 17. Ост ров Л ёба
Проблема Генкина
Предположим, что Обитатель Острова Лёба говорит
Мыслителю: «Ты поверишь, что я - Рыцарь». С первого
взгляда, кажется, что нет никакого способа узнать, являет
ся Обитатель Рыцарем или Плутом. Быть может, Мысли
тель поверит, что Обитатель есть Рыцарь (в этом случае
Обитатель делает истинное утверждение, и следовательно,
он Рыцарь). А быть может, Мыслитель никогда не поверит,
что Обитатель есть Рыцарь (в этом случае Обитатель дела
ет ложное утверждение, и соответственно он Плут). Есть
ли какой-либо способ сделать выбор между двумя этими
альтернативами?
Эта проблема возникает в связи со знаменитой пробле
мой, поставленной Леоном Хенкиным, ответ на которую
172
ГЛАВА 17. Остров Лёба
1.
2.
Предположим, что Обитатель острова Лёба говорит
Мыслителю типа 4: «Ты никогда не поверишь, что я -
Плут». Предполагая соблюдение правил Острова (и что
Мыслитель верит в них), ответить на вопрос: кем является
Обитатель - Рыцарем или Плутом?
3.
Если Мыслитель типа 4 посещает Остров Лёба (и верит
в правила Острова), возможно ли ему быть непротиворечи
вым и верить в то, что он непротиворечив?
Решения Проблем 1, 2 и 3
173
ЧАСТЬ VI. САМ ОВЫ ПОЛНИМ Ы Е ВЕРЫ И ТЕОРЕМА Л Ё Б А
174
ГЛАВА 17. Остров Лёба
Рефлексивность
175
ЧАСТЬ VI. САМОВЫПОЛНИМЫЕ ВЕРЫ И ТЕОРЕМА ЛЁБА
176
ГЛАВА 17. Остров Лёба
177
ЧАСТЬ VI. САМ ОВЫ ПОЛНИМ Ы Е ВЕРЫ И ТЕОРЕМА Л Ё БА
4.
Каждая рефлексивная система типа 1 также является
геделевой системой. Почему? (Решение приведено в об
суждении Проблемы 5.)
178
ГЛАВА 17. Остров Лёба
Строгая рефлексивность
Система S строго рефлексивна, если для любого пред
ложения q имеется предложение р такое, что p≡В(p⊃q) до
казуемо в S.
Связь между рефлексивностью и сильной рефлексивно
стью устанавливается следующей теоремой.
5.
Доказать Теорему R.
Решения Проблем 4 и 5
179
ЧАСТЬ VI. САМ ОВЫ ПОЛНИМ Ы Е ВЕРЫ И ТЕОРЕМА ЛЁ Б А
180
ЧАСТЬ VII
В ГЛУБОКИХ ВОДАХ
Скромные Мыслители
181
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
Мыслители типа G
182
ГЛАВА 18. Мыслители типа G
183
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
184
ГЛАВА 18. Мыслители типа G
1.
185
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
2.
186
ГЛАВА 18. Мыслители типа G
187
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
188
ГЛАВА 18. Мыслители типа G
189
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
(a) В С p⊃Врр
(b) р⊃(В С p⊃Ср)
4.
5.
190
ГЛАВА 18. Мыслители типа G
6.
Сейчас покажите, что любой Мыслитель типа 1*, кото
рый верит, что он скромен, должен также верить, что он
нормален. Более точно, покажите, что для любого предло
жения р, если Мыслитель типа 1* верит, что он скромен в
отношении Ср, тогда он поверит, что он нормален в отно
шении р.
191
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
192
ГЛАВА 18. Мыслители типа G
193
ГЛ АВА 19. С к р о м н о с т ь ,
1.
2.
194
ГЛАВА 19. Скромность, рефлексивность и стабильность
1. ⟘⊃p
2. В⟘⊃Bр
3. ⌝ Вp⊃⌝В⟘
4. ⌝ B⟘⊃(B⟘⊃⟘)
5. ⌝ Bp⊃(B⟘⊃⟘)
6. В⌝ Вp⊃В(В⟘⊃⟘)
3.
195
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
196
ГЛАВА 19. Скромность, рефлексивность и стабильность
4.
Я уже предупреждал вас об опасности веры в любое
предложение формы p≡⌝Вр. Если, однако, вам случиться
быть Мыслителем типа G , боюсь, что альтернативы у него
попросту нет: он должен верить в него!
197
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
5.
Верно также, что, если дан некоторый Мыслитель типа
G , имеется предложение р такое, что он верит в p≡В⌝ р.
Докажите это.
6.
Дано предложение q, найти предложение р (выразимое
в терминах q) такое, что любой Мыслитель типа G будет
верить в p≡B(p⊃q).
198
ГЛАВА 19. Скромность, рефлексивность и стабильность
7.
199
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
9.
200
ГЛАВА 19. Скромность, рефлексивность и стабильность
10.
201
ЧАСТЬ VII. В ГЛУБОКИХ ВОДАХ
Стабильность
202
ГЛАВА 19. Скромность, рефлексивность и стабильность
11.
203
ЧАСТЬ VIII
Н ЕВОЗМ ОЖ НЫ Е МИРЫ
ГЛАВА 20. В о в е к и н е р а з р е ш и м о е
Проблема неполноты
Мы будем говорить, что система вер Мыслителя непол
на, если имеется по крайней мере одно предложение р та
кое, что Мыслитель никогда не поверит ни в р, ни в ⌝р (он
вовеки не сможет разрешить вопрос, является ли р истин
ным или ложным).
Следующая проблема моделирует Первую Теорему о
Неполноте Геделя.
204
ГЛАВА 20. Вовеки неразрешимое
1.
Нормальный Мыслитель типа 1 прибывает на Остров
Рыцарей и Плутов, веря в правила Острова (Соблюдаются
эти правила или нет, в данном случае несу щественно). Он
встречает Обитателя, который говорит: «Ты никогда не
поверишь, что я есть Рыцарь».
Доказать, что если Мыслитель одновременно стабилен
и непротиворечив, тогда его система вер неполна. Более
конкретно, найти такое предложение р, чтобы соблюдались
два условия:
205
ЧАСТЬ VIII. НЕВОЗМОЖНЫЕ МИРЫ
3. Вариант Проблемы 1
Предположим, что Обитатель говорит: «Ты поверишь, что
ты никогда не поверишь, что я есть Рыцарь». Найти предло
жение р, удовлетворяющее условиям (а) и (b) Проблемы 1.
206
ГЛАВА 20. Вовеки неразрешимое
ω-непротиворечивость
Натуральное число есть по определению либо 0, либо
положительное целое число 1, 2, 3, ... Мы будем использо
вать термин «число» для «натуральных чисел». Рассмот
рим свойство Р (натуральных) чисел. Для любого числа n
мы пишем Р(n) как означающее, что n имеет свойство Р.
Например, если Р есть свойство быть четным числом, тогда
Р(n) означает, что n есть четное число, и в этом случае Р(0),
Р(2), Р(4),... - истинные предложения, а Р(1), Р(3), Р(5), . . . -
207
ЧАСТЬ VIII. НЕВОЗМОЖНЫЕ МИРЫ
208
ГЛАВА 20. Вовеки неразрешимое
209
ЧАСТЬ VIII. НЕВОЗМОЖНЫЕ МИРЫ
210
ГЛАВА 20. Вовеки неразрешимое
211
ЧАСТЬ VIII. НЕВОЗМОЖНЫ Е МИРЫ
212
ГЛАВА 21. Больше неразрешимостей!
213
ЧАСТЬ VIII. НЕВОЗМОЖНЫЕ МИРЫ
1.
Мыслитель Россеровского типа прибывает на Остров Ры
царей и Плутов, веря в правила Острова. Он встречает Обита
теля, который говорит ему: «Ты никогда не поверишь, что я
Рыцарь, раньше того, как ты поверишь, что я Плут». (Симво
лически, утверждение Обитателя таково: ⌝ (Вк<В⌝k).)
214
ГЛАВА 21. Больше неразрешимостей!
2.
Предположим, что Обитатель говорит: «Ты поверишь,
что я - Плут до того, как ты поверишь, что я - Рыцарь».
Следует ли то же самое заключение, что и в предыдущей
проблеме?
Решение: Ответ утвердительный. Мы оставляем дока
зательство читателю.
Обсуждение: Доказуемые утверждения математиче
ских систем доказуемы на различных стадиях. Мы могли
бы рассматривать математические системы как компью
терные программы для доказательств различных предло
жений последовательно. Мы говорим, что р доказуемо до q
(в данной математической системе), если р доказуемо на
некоторой стадии, на которой q еще не доказуемо (q могло
быть доказуемо на более поздней стадии, а могло быть не
доказуемо вообще). Для любых предложений р и q, выра
зимых в системе, предложение Bp<Bq (р доказуемо до q)
215
ЧАСТЬ VIII. НЕВОЗМОЖНЫ Е МИРЫ
216
ГЛАВА 21. Больше неразрешимостей!
3.
Предположим, что мы имеем Мыслителя - назовем его По
лем, - который всегда точен с своих верах (он никогда не ве
рит ни в какое ложное предложение). Ему не нужно быть
Мыслителем типа 1, или быть нормальным, и ему нет необхо
димости в действительности посещать Остров Рыцарей и Плу
тов. Все, что нам нужно знать о нем, так это то, что он точен.
Однажды Обитатель говорит о нем: «Поль никогда не
поверит, что я - Рыцарь». Тогда логически следует, что
система вер Поля должна быть неполна. Почему это так?
217
ЧАСТЬ VIII. НЕВОЗМОЖНЫЕ МИРЫ
4.
Предположим, что Обитатель говорит: «Поль однажды
поверит, что я Плут». Будет ли из этого следовать, что си
стема вер Поля неполна?
218
ГЛАВА 21. Больше неразрешимостей!
219
ЧАСТЬ IX
ВОЗМ ОЖ Н Ы Е МИРЫ
220
ГЛАВА 22. Это не необходимо так!
1. Универсум Мыслителей
221
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
222
ГЛАВА 22. Это не необходимо так!
223
ЧАСТЬ IX. ВОЗМОЖ НЫ Е МИРЫ
2. Второй универсум
Сейчас мы посещаем другой универсум, который назо
вем U 2. Условия, определяющие этот универсум, те же, что
и для универсума U 1, с одним важным отличием. В этом
универсуме Мыслитель верит, что р необходимо истинно,
если и только если все его предки верят в р. (Для упроще
ния дела, мы предположим, что все Обитатели универсума
бессмертны, так что все предки некоторого человека
живы.)
Давайте запишем этот фундаментальный факт.
224
ГЛАВА 22. Это не необходимо так!
3. Третий универсум
225
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
226
ГЛАВА 22. Это не необходимо так!
227
ЧАСТЬ IX. ВО ЗМ О Ж Н Ы Е МИРЫ
228
ГЛАВА 23. Возможные миры
229
ЧАСТЬ IX. ВОЗМОЖНЫ Е МИРЫ
230
ГЛАВА 23. Возможные миры
231
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
Модели Крипке
232
ГЛАВА 23. Возможные миры
233
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
234
ГЛАВА 23. Возможные миры
235
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
236
ГЛАВА 24. От необходимости
к доказуемости
237
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
238
ГЛАВА 24. От необходимости к доказуемости
Аксиомы системы К:
( 1) Все тавтологии.
(2) Все формулы формы B (X ⊃Y )⊃(B X ⊃BY).
Аксиомы системы К4:
Аксиомы системы К вместе с
(3) Все формулы формы В Х ⊃ BВ Х .
Аксиомы системы G :
Аксиомы системы К4 вместе с
(4) Все формулы формы B (B X ⊃X )⊃B X .
Замечание: Давайте называть аксиомы группы (4) спе
циальными аксиомами для G . Мы вспомним теорему Крип-
ке - де Йонга - Самбина из Главы 18, суть которой состоит
239
ЧАСТЬ IX. ВОЗМОЖНЫЕ МИРЫ
240
ГЛАВА 24. От необходимости к доказуемости
241
ЧАСТЬ X
СУТЬ ДЕЛА
Геделевский универсум
Давайте рассмотрим универсум, в котором есть беско
нечное число Мыслителей. Есть также бесконечное число
предложений об этом универсуме. Более точно:
242
ГЛАВА 25. Геделизированная вселенная
243
ЧАСТЬ X. СУТЬ ДЕЛА
1. Диагональный принцип
Доказать, что для любого Мыслителя R имеется по
крайней мере одно предложение р такое, что p≡Rp истин
но. (Другими словами, р истинно, если и только если,
R верит в р.)
244
ГЛАВА 25. Геделизированная вселенная
2. Глупые Мыслители
Мыслитель полностью глуп, если он верит во все лож
ные предложения и не верит в истинные.
Доказать, что в этом универсуме не существует ни од
ного полностью глупого Мыслителя.
Доказательство: Мы только что видели, что у любого
Мыслителя R имеется предложение р такое, что р истинно,
если и только если, R верит в р. Это означает, что должен
быть справедлив один из следующих случаев: ( 1) р истин
но, и R верит в р; (2) р ложно, и R не верит в р. Если спра
ведливо (1), тогда R верит в по крайней мере одно истин
ное предложение, а именно в р, и отсюда, R не полностью
глуп. Если справедливо (2), тогда имеется по крайней мере
одно ложное предложение, а именно р такое, что R не ве
рит в р, и отсюда, R не верит ни в одно ложное предложе
ние, и поэтому опять-таки R не полностью глуп.
После отбытия логика был обнаружен другой любо
пытный факт об этом универсуме:
Ф акт 2. Для любого Мыслителя R и любого предложе
ния q имеется Мыслитель S такой, что для любого предло
жения р, S верит в р, если и только если, R верит в p⊃q. (То
есть p≡R(p ⊃q) истинно.)
3. Принцип Тарского
Мыслитель этого универсума называется совершенным,
если он верит во все истинные предложения и не верит ни
в одно ложное. (Оно полностью противоположно полно
стью глупому Мыслителю.)
245
ЧАСТЬ X. СУТЬ ДЕЛА
4.
Предполагая, что все установленные предложения истин
ны, доказать, что множество установленных предложений
неполно, то есть должно быть, по крайней мере, такое р, что
не может быть установлено ни р, ни его отрицание. (Это
246
ГЛАВА 25. Геделизированная вселенная
247
ЧАСТЬ X. СУТЬ ДЕЛА
5.
Доказать, что для любого Мыслителя R имеется пред
ложение р такое, что предложение p≡Rp установлено.
Доказательство: Доказательство в существенных чер
тах совпадает с доказательством Проблемы 1, используя
Факт I вместо Факта 1.
Пусть дан Мыслитель R, имеется Мыслитель Rh (назы
ваемый R*) такой, что для любого числа I предложение
Rhpi≡R R ip i является установленным. Отсюда, установлен
ным является и Rhph≡RRhph. Таким образом, p≡Rp является
установленным, где р есть предложение Rhph.
6.
Предположим, что множество установленных предло
жений принадлежит к типу 1.
(a) Показать, что для каждого Мыслителя R и каждо
го предложения q, имеется предложение р такое, что
предложение p≡R(p⊃q) является установленным.
(b) Показать, что для каждого Мыслителя R и каждо
го предложения q, имеется предложение р такое, что
предложение p≡(Rp⊃q) является установленным.
Решение: Предположим, что множество установлен
ных предложений принадлежит типу 1.
248
ГЛАВА 25. Геделизированная вселенная
7.
Доказать, что множество установленных предложений
принадлежит типу G .
Доказательство: Нам сейчас дано, что Е принадлежит
типу 4, отсюда, он определенно принадлежит типу 1. То
гда, согласно (b) из последней Проблемы, для любого
предложения q имеется предложение р такое, что предло
жение p≡(Ep⊃q) является установленным. Таким образом,
множество установленных предложений является рефлек
сивным. А мы знаем из главы 19, что любая рефлексивная
система типа 4 принадлежит также к типу G .
249
ЧАСТЬ X . СУТЬ ДЕЛА
250
ГЛАВА 25. Геделизированная вселенная
251
ГЛАВА 26. Некоторые замечательные
логические машины
Р ⟘ ⊃ ( ) d ,
12 3 4 5 6 7
252
ГЛАВА 26. Некоторые замечательные логические машины
253
ЧАСТЬ X. СУТЬ ДЕЛА
254
ГЛАВА 26. Некоторые замечательные логические машины
255
ЧАСТЬ X. СУТЬ ДЕЛА
О п е р а ц и о н н ы е п р ави л а:
256
ГЛАВА 26. Некоторые замечательные логические машины
Доказуемость
257
ЧАСТЬ X. СУТЬ ДЕЛА
Рефлексивность
Теперь мы переходим к доказательству, что машина яв
ляется геделевой, то есть рефлексивной.
1. Геделево предложение G
2. Рефлексивность
258
ГЛАВА 26. Некоторые замечательные логические машины
259
ЧАСТЬ X. СУТЬ ДЕЛА
Правильность машины
Мы показали, что если машина Фергюссона непротиво
речива, тогда она не может доказать собственную непроти-
260
ГЛАВА 26. Некоторые замечательные логические машины
261
ЧАСТЬ X. СУТЬ ДЕЛА
3.
Как доказать эти утверждения?
262
ГЛАВА 26. Некоторые замечательные логические машины
Вариант Крейга
263
ЧАСТЬ X. СУТЬ ДЕЛА
Р ⟘⊃( ) R
264
ГЛАВА 26. Некоторые замечательные логические машины
4.
265
ЧАСТЬ X. СУТЬ ДЕЛА
Наблюдение МакКаллоха
Когда Уолтер МакКаллох (друг Крейга и Фергюссона)
узнал о машине Крейга, он сделал следующее интересное
наблюдение: Пусть даны предложения X и Y , в которые не
входит символ «R». Имеется предложение Z , в которое не
входит «R», и такое, что предложение (X R Y ≡Z) печатаемо.
(Это влечет, между прочим, что для любого предложения
X имеется предложение X ’, в которое не входит «R», такое,
что Х ≡Х ’ печатаемо машиной Крейга.)
Можете ли доказать, что наблюдение МакКаллоха верно?
Решение: Мы доказали в решении Проблемы 8 из Гла
вы 19, что любая система типа G , которая может доказать
p≡B(p⊃q), может доказать и p≡Вр. (Мы показали это для
Мыслителей, но тот же самый аргумент подходит и для
систем.) Теперь, система Крейга принадлежит типу G ,
и для любого предложения X предложение (X R X )≡
≡P((XRX)⊃X) печатаемо, и поэтому, если мы возьмем
(X R X ) для р и X для q, получим, что (X R X )≡PX печатаемо.
Из этого следует, что ((XRX)⊃Y)≡(PX⊃Y) печатаемо, и от
сюда (по свойству регулярности), P((XRX)⊃Y)≡ P(PX⊃Y)
печатаемо. Но печатаемо и (X R Y )≡P((XRX)⊃Y), отсюда,
печатаемо (X R Y )≡P(PX⊃Y). Если символ «R» не входит ни
в X , ни в Y , тогда он не входит и в P(PX⊃Y ), и поэтому мы
берем в качестве Z предложение P(PX⊃Y).
266
ГЛАВА 27. Самоприменимые
модальные системы
(1 ) 1 ложно для М .
(2) Для любых модальных предложений X и Y пред
ложение X ⊃Y истинно в М, если и только если, либо
X не истинно в М , или же Y не истинно в М.
(3) Для любого предложения X предложение В Х ис
тинно в М , если и только если X доказуемо в М .
267
ЧАСТЬ X. СУТЬ ДЕЛА
Н е к о т о р ы е сам ор еф ер ен тн о п р а в и л ь н ы е си ст е м ы .
Мы вспомним сентенциональные модальные системы К ,
К4 и G , описанные в главе 24 (они подобны системам К,
268
ГЛАВА 27. Самоприменимые модальные системы
1.
Доказать Лемму А . (Подсказка: Доказательство в суще
ственных чертах то же самое, что и в аргументе, который
мы привели в последней главе для демонстрации того, что
все доказуемые предложения машины Фергюссона истин-
269
ЧАСТЬ X. СУТЬ ДЕЛА
270
ГЛАВА 27. Самоприменимые модальные системы
2.
271
ЧАСТЬ X. СУТЬ ДЕЛА
272
ГЛАВА 27. Самоприменимые модальные системы
3.
Почему истинно, что если предложение доказуемо в М
(М есть любая из К, К 4 или G), тогда оно доказуемо в М ?
273
ЧАСТЬ X. СУТЬ ДЕЛА
274
ЧАСТЬ XI
ФИНАЛ
Модальные системы,
ГЛ АВА 2 8 .
Машины и Мыслители
Минимальные Мыслители
различных типов
275
ЧАСТЬ XI. ФИНАЛ
276
ГЛАВА 28. Модальные системы, Машины и Мыслители
277
ЧАСТЬ XI. ФИНАЛ
278
ГЛАВА 28. Модальные системы, Машины и Мыслители
1.
279
ЧАСТЬ XI. ФИНАЛ
2.
Теперь подставим G вместо K4. Будет ли Мыслитель,
описанный выше, необходимо верить во все предложения,
в которые верят все Мыслители типа G ?
Ответ на эту проблему дается хорошо известной теоре
мой о модальных системах К 4 и G (которая также приме
нима и к системам К4, и G ), которую мы готовы устано
вить и доказательство которой мы набросаем.
Пусть М будет модальной системой, чьими единствен
ными правилами вывода являются modus ponens и вынуж
дение. Пусть М ’ будет модальная система, аксиомы кото
рой совпадают с аксиомами для системы М, вместе со все
ми формулами В Х , где X есть аксиома системы М, и чье
единственное правило вывода есть modus ponens. Ясно,
что все доказуемое в системе М ’, доказуемо в системе М
(потому что для любой аксиомы X из М, ВХ также доказу
емо в М, и поэтому все аксиомы М ’ доказуемы в М), но
в общем, неверно, что все доказуемое в М также доказуемо
в М '. Однако мы имеем следующий интересный результат:
280
ГЛАВА 28. Модальные системы, Машины и Мыслители
281
ЧАСТЬ XI. ФИНАЛ
282
ГЛ АВА 2 9 . Некоторые странные
Мыслители!
1.
283
ЧАСТЬ XI. ФИНАЛ
2.
Любой Мыслитель, не являющийся нормальным, не
сможет поверить в по крайней мере одно истинное пред
ложение, потому что имеется предложение р такое, что он
верит в р, но не может поверить в Вр, и все же Вр истинно
(так как он верит в р). Следовательно, он не сможет пове
рить в истинное предложение Вр.
Из последней Проблемы тогда получается вот что.
Пусть дан некоторый непротиворечивый Мыслитель, кото
рый почти типа G , который верит в свою собственную не
противоречивость. Тогда должно быть, по крайней мере,
284
ГЛАВА 29. Некоторые странные Мыслители!
285
ЧАСТЬ XI. ФИНАЛ
286
ГЛАВА 29. Некоторые странные Мыслители!
287
ЧАСТЬ XI. ФИНАЛ
288
ГЛАВА 29. Некоторые странные Мыслители!
3.
Почему Теорема 3 верна?
289
ЧАСТЬ XI. ФИНАЛ
4.
Почему Теорема 4 есть следствие Теоремы 3?
290
ГЛАВА 29. Некоторые странные Мыслители!
Мыслители типа Q
(мнительные Мыслители)
291
ЧАСТЬ XI. ФИНАЛ
5.
292
ГЛАВА 29. Некоторые странные Мыслители!
293
глава 30. В ретроспективе
294
ГЛАВА 30. В ретроспективе
295
ЧАСТЬ XI. ФИНАЛ
296
ГЛАВА 30. В ретроспективе
297
ЧАСТЬ XI. ФИНАЛ
298
ГЛАВА 30. В ретроспективе
Заключительные замечания
299
ЧАСТЬ XI. ФИНАЛ
300
Оглавление
П Р Е Д И С Л О В И Е ........................................................................................................................ 6
Ч А С Т Ь I. В Ы М О Г Л И Б Ы У Д И В И Т Ь С Я ! ...................................................... 9
Г л а в а 1. Дьявольская з а г а д к а .............................................................................. 9
Г л а в а 2. У д и в л ен ы ?...................................................................................................... 16
Ч А С Т Ь II. Л О Г И К А И С Т И Н Ы И Л Ж И ............................................................ 21
Г л а в а 3 . Собиратель нал о го в................................................................................. 21
Г л а в а 4. В поисках О о н ы .......................................................................................... 31
Г л а в а 5. Межпланетная путан и ц а..................................................................... 37
Ч А С Т Ь III. Р Ы Ц А Р И , П Л У Т Ы
И П Р О П О З И Ц И О Н А Л Ь Н А Я Л О Г И К А ................................................ 46
Г л а в а 6. Элементы пропозициональной л оги ки ................................. 46
Г л а в а 7. Рыцари, Плуты и пропозициональная л оги ка.................. 60
Г л а в а 8. Логическое замыкание и непротиворечивость............... 69
Ч А С Т Ь IV . Б У Д Е М В Н И М А Т Е Л Ь Н Ы ! ............................................................ 83
Г л а в а 9. П а р ад о к сал ь н о ?.......................................................................................... 83
Г л а в а 10. Проблема усугубл я ется ..................................................................... 97
ЧАСТЬ V . ЗА Т Р У Д Н Е Н И Я С Н Е П Р О Т И В О Р Е Ч И В О С Т Ь Ю . 108
Г л а в а 11. Логики, которые мыслят о самих с е б е .............................. 108
Г л а в а 12. Затруднения с непротиворечивостью ................................. 123
Г л а в а 13. Геделевы си сте м ы ................................................................................. 132
Г л а в а 14. Ещ е большие затруднения с непротиворечивостью 139
ЧАСТЬ V I. С А М О В Ы П О Л Н И М Ы Е В Е Р Ы
И Т Е О Р Е М А Л Ё Б А ...................................................................................................... 149
Г л а в а 15. Самовыполнимые в е р ы ..................................................................... 149
Г л а в а 16. Алмаз Р а д ж и ................................................................................................ 164
Г л а в а 17. Остров Л ё б а ................................................................................................ 172
301
ЧАСТЬ IX. ВОЗМОЖ НЫЕ М И Р Ы ............................................................ 220
Глава 22. Это не необходимо т а к !.............................................................. 220
Глава 23. Возможные м иры ............................................................................... 229
Глава 24. От необходимости к доказуемости..................................... 237
302
Аннотированный список книг издательства «Канон+»
РО О И «Реабилитация» вы можете найти на сайте
iph.ras.ru/kanon или http://journal.iph.ras.ru/verlag.html
Заказать книги можно, отправив заявку по электронному адресу:
kanonplus@mail.ru
Научное издание
Раймонд СМАЛЛИАН
ВОВЕКИ НЕРАЗРЕШИМОЕ
Пут ь к Геделю
через занимательные загадки
Директор - Божко Ю. В.
Ответственный за выпуск - Божко Ю. В.
Компьютерная верстка - Липницкая Е. Е.
Корректор - Колупаева Л. П.