forked from Lipen/godel-escher-bach
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dial15.tex
110 lines (57 loc) · 18 KB
/
dial15.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
\documentclass[../main.tex]{subfiles}
\begin{document}
\DialogueChapter{Праздничная Кантататата\ldots{}}
\centerblock{
\emph{В один прекрасный майский день Черепаха и Ахилл встречаются, прогуливаясь по лесу. Ахилл, разодетый в пух и прах, пританцовывает под звуки мелодии, которую он сам себе напевает под нос. На его пиджаке прицеплен огромный круглый значок со словами «Сегодня \--- мой день рождения!»}
}
\begin{dialogue}
\speak{Черепаха} Приветствую вас, Ахилл! Что это вы сияете, как начищенный пяпятак? У вас, случайно, не день рождения?
\speak{Ахилл} Да, да! Да, сегодня у меня день рождения!
\speak{Черепаха} Я так и думала, из-за значка на вашем пиджаке. Кроме того, вы напеваете тему Баховской «Праздничной кантаты», написанной в 1727~году на день рождения Саксонского короля Августа, которому тогда исполнилось 57~лет.
\speak{Ахилл} Вы правы. Мы с королем родились в один день, поэтому ЭТА «Праздничная кантата» имеет двойное значение. Однако я вам не скажу, сколько мне лет.
\speak{Черепаха} Хорошо, но мне бы хотелось узнать вот что: могу ли я заключить из того, что вы мне до сих пор сообщили, что сегодня ваш день рождения?
\speak{Ахилл} Конечно, можете. Сегодня ДЕЙСТВИТЕЛЬНО мой день рождения.
\speak{Черепаха} Прекрасно. Я так и подозревала. Так что теперь я заключу, что сегодня ваш день рождения, если только это не\ldots{}
\speak{Ахилл} Если только это не \--- что?
\speak{Черепаха} Если только это не будет слишком поспешным заключением. Знаете ли, черепахи не любят делать поспешных заключений. \emph{(Мы вообще не любим спешить, и особенно в наших заключениях.)} Так что позвольте мне вас спросить, зная вашу любовь к логическому мышлению, разумно ли заключить из ваших предыдущих высказываний, что сегодня ваш день рождения?
\speak{Ахилл} Мне кажется, я улавливаю некую схему в ваших вопросах, г-жа Черепаха. Но вместо того, чтобы делать поспешные заключения, я постараюсь понять ваш вопрос буквально и ответить на него прямо:~ДА.
\speak{Черепаха} Чудно! Чудно! Мне нужно знать только еще одну вещь, чтобы быть вполне уверенной в том, что сегодня \---
\speak{Ахилл} Да, да, да, да\ldots{} Я уже представляю себе, что вы сейчас спросите. Я покажу вам, что я уже не так прост, как тогда, когда мы обсуждали Эвклидово доказательство.
\speak{Черепаха} Кто когда-либо считал вас простаком? Как раз наоборот \--- я считаю вас экспертом в логическом мышлении, знатоком науки верных заключений, кладезем знаний о правильных методах рассуждения\ldots{} По правде говоря, Ахилл, по моему мнению вы \--- просто гигант мысли, титан искусства рациональных размышлений И только лишь поэтому я хочу вас спросить «Дают ли ваши предыдущие высказывания достаточно оснований для того, чтобы я без дальнейших колебаний могла заключить, что сегодня ваш день рождения?»
\speak{Ахилл} Вы меня совсем раздавили своей тяжеловесной похвалой \--- подавили, я имею в виду. Но я удивлен повторяющимся характером ваших вопросов \--- по-моему, вы и сами могли ответить «да» на каждый из них.
\speak{Черепаха} Разумеется, могла бы, Ахилл. Но это было бы Тыканием Пальцем В Небо \--- а Черепахи этого терпеть не могут. Черепахи допускают только Разумные Догадки. О, мощь Разумных Догадок! Вы не представляете себе, сколько людей забывает учитывать все Важные Факторы, когда они строят свои предположения.
\speak{Ахилл} Мне кажется, что во всей этой белиберде был только один Важный Фактор \--- мое первое утверждение.
\speak{Черепаха} Точнее, это по меньшей мере ОДИН из факторов, который мне необходимо учесть \--- но неужели вы хотите, чтобы я упускала из вида Логику, эту славную науку древних? Логика всегда являлась Важным Фактором при построении Разумных Догадок, и, поскольку я имею счастье находиться в компании известного эксперта по Логике, думаю, что будет только логично этим воспользоваться и подтвердить мою интуицию, прямо спросив у него, права ли я. Так что позвольте мне, наконец, обратиться к вам с прямым вопросом «Позволяют ли предыдущие суждения заключить, что сегодня ваш день рождения?»
\speak{Ахилл} И еще раз, ДА! Но честно говоря, у меня складывается впечатление, что вы сами могли ответить на этот вопрос, как и на все предыдущие.
\speak{Черепаха} О, что за удивительные слова! Желала бы я быть такой мудрой, как вы предполагаете. Но будучи только простой смертной Черепахой, глубоко невежественной и желающей принять во внимание все Важные Факторы, я нуждалась в ваших ответах на все эти вопросы.
\speak{Ахилл} В таком случае, позвольте мне прояснить ситуацию раз и навсегда ответом на этот и на все последующие подобные вопросы является ДА.
\speak{Черепаха} Великолепно! Одним ударом, со свойственным вам блеском, вам удалось разобраться во всей этой путанице. Надеюсь вы не возражаете, если я назову этот изобретательный трюк СХЕМОЙ ОТВЕТОВ. Она превращает положительные ответы на первый, второй, третий и так далее вопросы в один единственный положительный ответ. На самом деле, поскольку эта схема является завершающим аккордом наших рассуждений, она заслуживает называться Схемой Ответов Омега, поскольку~«$\omega$» \--- последняя буква греческого алфавита. \emph{(Бог мой, кому я это объясняю\edots)}
\speak{Ахилл} Мне не важно как вы это назовете, но какое облегчение, что вы наконец согласились с тем, что сегодня мой день рождения, и мы можем поговорить о чем-нибудь другом \--- например, о том что вы мне подарите.
\speak{Черепаха} Погодите \--- не так быстро! Я СОГЛАШУСЬ, что сегодня ваш день рождения \--- при одном условии.
\speak{Ахилл} Каком? Не просить подарка?
\speak{Черепаха} Вовсе нет. Наоборот, я собиралась пригласить вас на шикарный праздничный ужин, после того, как я буду убеждена, что одновременное знание всех этих положительных ответов (утверждаемое схемой~$\omega$) позволит мне прямо и без дальнейших экивоков заключить, что сегодня ваш день рождения. Так оно и есть, не правда ли?
\speak{Ахилл} Разумеется.
\speak{Черепаха} Хорошо. Предположим, что я получила ответ $\omega + 1$. Вооруженная им, я могу приступить к принятию гипотезы, что сегодня ваш день рождения, если только это позволено сделать. Что вы мне посоветуете, Ахилл?
\speak{Ахилл} Что такое? Я-то думал, что мне удалось вырваться из ваших бесконечных сетей. Почему же вас не удовлетворяет ответ $\omega + 1$? Ну,~хорошо: я дам вам не только положительный ответ $\omega + 2$, но и $\omega + 3$, $\omega + 4$, и так далее.
\speak{Черепаха} Как это щедро с вашей стороны, Ахилл. А ведь сегодня как раз ваш день рождения, когда это Я должна преподносить ВАМ подарки, а не наоборот. Скорее, я ПОДОЗРЕВАЮ, что сегодня ваш день рождения. Наверное, теперь, когда я вооружена новой Схемой Ответов, которую я назову «Схемой Ответов~$2\omega$», я могу заключить, что сегодня ваш день рождения. Но скажите мне, пожалуйста, Ахилл: действительно ли Схема Ответов~$2\omega$; позволяет мне совершить этот огромный скачок, или же я что-то пропускаю?
\speak{Ахилл} Больше вы меня не проведете, г-жа Черепаха. Как я погляжу, этой глупой игре конца нет! Я решил покончить с этим раз и навсегда и дать вам такую Схему Ответов, которая одним ударом расправится со всеми предыдущими Схемами. Я дам вам одновременно Схему Ответов $\omega$, $2\omega$, $3\omega$, $5\omega$ и~т.\,д. С этой Мета-Схемой-Ответов мне уж наверняка удастся ВЫСКОЧИТЬ из системы, перехитрить эту глупую игру, в сети которой вы думали меня уловить \--- теперь-то вам ПРИДЕТСЯ в этом признаться!
\speak{Черепаха} О, Боже мой! Какая честь для меня \--- оказаться обладательницей такой мощной Схемы Ответов! Мне кажется, что человеческая мысль редко изобретала что-либо подобное. Я восхищена её гигантской мощью! Вы не возражаете, если я дам имя вашему подарку?
\speak{Ахилл} Конечно, нет.
\speak{Черепаха} Тогда я назову его «Схемой Ответов~$\omega^2$». И мы сможем перейти к другим темам \--- как только вы скажете мне, что обладание Схемой Ответов~$\omega^2$ позволит мне заключить, что сегодня ваш день рождения.
\speak{Ахилл} Увы мне, увы!.. Кончатся ли когда-нибудь эти мученья? Что еще меня ожидает?
\speak{Черепаха} С удовольствием скажу вам. Дело в том, что после вашей Схемы Ответов~$\omega^2$ идет ответ $\omega^2 + 1$, затем $\omega^2 + 2$\ldots{} Разумеется, вы можете собрать их в кучу под названием Схема Ответов~$\omega^2 + \omega$, после чего могут последовать несколько других «куч», как, например, $\omega^2 + 2\omega$, $\omega^2 + 3\omega$ и так далее. Рано или поздно вы придете к Схеме Ответов~$2\omega^2$, затем $3\omega^2$, $4\omega^2$ и так далее. Существуют также дальнейшие Схемы Ответов, такие, как $\omega^3$, $\omega^4$, $\omega^5$\ldots Так может продолжаться довольно долго.
\speak{Ахилл} Могу себе представить. Наверное, через некоторое время так можно дойти до Схемы Ответов~$\omega^\omega$.
\speak{Черепаха} Разумеется.
\speak{Ахилл} А затем~$\omega^{\omega^\omega}$ и так далее?
\speak{Черепаха} Вы довольно быстро ухватили мою идею. Если не возражаете, хочу вам кое-что предложить. Почему бы вам не соединить их все в одну-единственную Схему Ответов?
\speak{Ахилл} Хорошо, хотя я начинаю сомневаться, есть ли от этого какая-нибудь польза.
\speak{Черепаха} Мне кажется, что нам будет трудненько найти имя для этой Схемы. Может быть, нам придется просто назвать её Схема Ответов~$\varepsilon_0$.
\speak{Ахилл} Черт побери! Каждый раз, когда вы даете очередной Схеме Ответов, имя это разбивает мои надежды на то, что мой ответ вас, наконец, удовлетворит. Почему бы нам просто не оставить Схему безымянной?
\speak{Черепаха} Никак невозможно, Ахилл. Как же мы будем говорить об этой схеме, если у нее не будет имени? Кроме того, именно в этой Схеме есть что-то особенно завершенное и прекрасное. Было бы некрасиво оставить её безымянной! А вы не хотели бы совершать некрасивых поступков, особенно в день вашего рождения не правда ли? Неужели сегодня ваш день рождения? Кстати о днях рождения, сегодня мой день рождения!
\speak{Ахилл} Неужели?
\speak{Черепаха} Да. Вообще-то, на самом деле, сегодня день рождения моего дяди, но это почти одно и то же. Как насчет того, чтобы пригласить меня на шикарный праздничный ужин?
\speak{Ахилл} Подождите минутку г-жа~Ч! Сегодня МОЙ день рождения, и это Вы должны меня приглашать!
\speak{Черепаха} Но вам так и не удалось убедить меня в том, что вы говорите правду! Вы развели страшную путаницу, выдумали какие-то Схемы Ответов\ldots{} Я всего-навсего хотела узнать, не день рождения ли у вас сегодня, но вам удалось меня совершенно сбить с толку. Как вам только не стыдно? Так или иначе я была бы счастлива, если бы вы пригласили меня на ужин сегодня вечером.
\speak{Ахилл} Ну что ж. Я знаю одно местечко. Там готовят самые экзотические супы, и я точно знаю какого супчика мне бы сейчас хотелось!
\end{dialogue}
\end{document}