Ахилл: Абсолютно верно! Как вам удалось так быстро найти ответ?
Ахилл: Это — еще один пример того, какой полезной может оказаться картотека трюков от бессоницы. Прекрасно! Но я все еще блуждаю в потемках с вашей задачкой о «PTOTE».
Ахилл: Поздравляю — теперь вам, может быть, удастся заснуть. Скажите же мне решение!
Ахилл: Вообще-то я не люблю подсказок, но на этот раз ладно, валяйте.
Ахилл: Не понимаю. Что вы имеете в виду под «рисунком» и «фоном»?
Ахилл: Разумеется, я знаком с «Мозаикой II». Я знаю ВСЕ работы Эшера. В конце концов, это мой любимый художник! Кстати, репродукция «Мозаики II» висит прямо у меня перед носом.
Ахилл: Всех черных зверей? Конечно, вижу!
Ахилл: Верно: их «негативное пространство» — то, что остается свободным — определяет белых зверей.
Ахилл: А, так вот что вы называете «рисунком» и «фоном»! Но какое отношение это имеет к головоломке о «Р-Т-О-Т-Е»?
Ахилл: Это для меня слишком сложно… Теперь и у меня начинает болеть голова; пойду, пожалуй, поищу мою спасительную картотеку, может быть она мне поможет забыться сном.
Ахилл: Вы хотите зайти сейчас? Но я думал…
Ахилл: Ну что ж, хорошо. А я пока постараюсь решить эту задачку с помощью вашей подсказки о рисунке и фоне и моей головоломки.
Ахилл: С удовольствием сыграю их для вас.
Ахилл: Вы изобрели о них теорию?
Ахилл: В сопровождении какого инструмента?
Ахилл: В таком случае, как странно, что он не записал также и партию клавесина, и не опубликовал их в таком виде.
Ахилл: А, понимаю — нам предоставляется выбор: слушать ее с аккомпанементом или без оного. Но откуда мы знаем, как он должен звучать?
Ахилл: Да, вы правы — наверное, лучше всего оставить эту работу воображению слушателя. Согласен — может быть, у Баха в мыслях вообще не было никакого аккомпанемента. Действительно, эти сонаты и так звучат замечательно.
Ахилл: Точно. Ну, до скорого.
Ахилл: Пока, г-жа Ч.
Рис. 14. М К. Эшер. «Мозаика II» (литография, 1957).
Простые и составные числа
ТО, ЧТО некоторые понятия можно выразить при помощи простых манипуляций типографскими символами, кажется довольно странным. До сих пор мы передали таким образом лишь понятие сложения, и это, возможно, не показалось нам удивительным. Предположим, однако, что мы захотим создать формальную систему с теоремами вида Px, где x было бы строчкой, состоящей из тире. Количество этих тире должно было бы выражаться простым числом. Так, P-- — было бы теоремой, в то время как P--- теоремой бы не являлось. Как это может быть выражено с помощью типографских операций? Сначала необходимо точно определить, что мы имеем в виду под «типографскими операциями». Полное описание было дано в системах MIU и pr, так что сейчас мы ограничимся только списком наших возможностей:
(1) читать и узнавать любое из конечных множеств символов;
(2) записывать любой из символов, принадлежащий такому множеству,
(3) повторять любой из этих символов в другом месте;
(4) стирать любой из этих символов;
(5) проверять, одинаковы ли два символа;
(6) сохранять и использовать список ранее выведенных теорем.
Список получился немного повторяющимся, но это не столь важно. Главное то, что он позволяет только самые тривиальные операции, намного проще, чем операция отличения простого числа от не простого. Как же, в таком случае, мы сможем совместить несколько операций и создать такую формальную систему, в которой простые числа отличались бы от составных?
Система ur
Первым шагом может стать решение более простой, но сходной задачи. Мы можем попытаться придумать систему, похожую на систему pr, но которая вместо сложения представляла бы умножение. Назовем ее системой ur (u = «умноженное на»). Предположим, что X, Y, Z , соответственно, — это количество тире в строчках x, y, z. (Обратите внимание, что я специально делаю упор на различии между строчкой, и количеством тире, которое эта строчка содержит.) Мы хотим, чтобы строчка xuyrz была теоремой только в том случае, когда X, умноженное на Y, равняется Z. Например, --u---r------ должно быть теоремой, так как 2, умноженное на 3, равняется 6, в то время как --u--r--- теоремой быть не должно. Систему ur так же просто описать, как и систему pr. Для этого нужны всего лишь одна аксиома и одно правило вывода
СХЕМА АКСИОМ: xu-rx является аксиомой, когда x — строчка, состоящая из тире.
ПРАВИЛО ВЫВОДА: Предположим, что x, у, и z — строчки тире, и что xuyrz — старая теорема. Тогда xuy-rzx будет новой теоремой.
Ниже приводится вывод теоремы --u---r------
(1) --u-r-- (аксиома)
(2) --u--r---- (по правилу вывода, используя (1) в качестве старой теоремы)
(3) --u---r------ (по правилу вывода, используя (2) в качестве старой теоремы)
Обратите внимание, что количество тире в средней строке возрастает на единицу каждый раз, когда мы применяем правило вывода, таким образом, мы можем предсказать, что если мы хотим получить теорему с десятью тире в середине, нам придется применить правило вывода девять раз подряд.
Уловление Составности
Умножение (немного более сложное понятие, чем сложение) теперь уловлено нами в сети типографских правил, подобно птицам в Эшеровском «Освобождении». А как же насчет простых чисел? Следующий план кажется неплохим: используя систему ur, определить новое множество теорем вида Sx, которые характеризуют составные числа
ПРАВИЛО: Предположим, что x, у, z — строчки тире. Если x-uy-rz является теоремой, то Sz также будет теоремой.
Это означает, что Z (число тире в z) является составным, если оно — произведение двух чисел, больших единицы (а именно, X+1 — число тире в x- и Y+1 — число тире в y-). Я объясняю вам это новое правило в «интеллектуальном режиме», поскольку вы, как существо мыслящее, желаете знать, почему такое правило существует. Если бы вы работали исключительно в «механическом режиме», вам бы не понадобились никакие объяснения, так как работающие в режиме M следуют правилам чисто механически, никогда не задавая вопросов, и при этом совершенно счастливы!
Поскольку вы работаете в режиме I, вы будете склонны забывать о различии между строчками и их интерпретацией. Ситуация может стать довольно запутанной, как только вы обнаружите смысл в символах, которыми вы манипулируете. Вам придется бороться с собой, чтобы не решить, что строчка «---» — то же самое, что число 3. Требование формальности, казавшееся совершенно очевидным в главе I, здесь становится весьма каверзным и приобретает первостепенную важность Именно оно не дает вам спутать режим I с режимом M, иными словами, оно не позволяет вам смешивать арифметические факты с типографскими теоремами.
«Нелегальная» характеристика простых чисел
Весьма соблазнительно от теорем типа S сразу перескочить к теоремам типа P, путем введения следующего правила
ПРЕДЛОЖЕННОЕ ПРАВИЛО: Предположим, что x — строчка тире. Если Sx не является теоремой, то Px является теоремой.
Роковая ошибка здесь заключается в том, что проверка «нетеоремности» Sx — не типографская операция. Чтобы узнать наверняка, что MU — не теорема MIU, нам пришлось бы выйти из системы; в такую же ситуацию мы попадаем и с Предложенным Правилом. Оно подрывает сами основы формальных систем тем, что предлагает вам действовать неформально, вне системы. Типографская операция (6) позволяет вам рассматривать предварительно выведенные теоремы; однако Предложенное Правило отсылает вас к гипотетической «таблице не-теорем». Чтобы получить подобную таблицу, вам придется работать вне системы, показывая, почему некоторые строчки не могут быть получены в данной системе. Конечно, может оказаться, что существует другая формальная система, в которой «таблица не-теорем» может быть получена чисто типографскими способами. На самом деле, наша цель — найти именно такую систему.Однако Предложенное Правило — не типографское, а посему нам придется от него отказаться.
