СХЕМА АКСИОМ: 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) позволяет вам рассматривать предварительно выведенные теоремы; однако Предложенное Правило отсылает вас к гипотетической «таблице не-теорем». Чтобы получить подобную таблицу, вам придется работать вне системы, показывая, почему некоторые строчки не могут быть получены в данной системе. Конечно, может оказаться, что существует другая формальная система, в которой «таблица не-теорем» может быть получена чисто типографскими способами. На самом деле, наша цель — найти именно такую систему.Однако Предложенное Правило — не типографское, а посему нам придется от него отказаться.
Это настолько важный момент, что мы остановимся на нем поподробнее. В нашей системе S (включающей систему ur и правила, определяющие теоремы типа S) у нас есть теоремы вида Sx, где x, как обычно, обозначает строчку тире. В ней имеются также не-теоремы вида Sx. Говоря о не-теоремах, я имею в виду именно эту разновидность, хотя, конечно, существует множество не-теорем в виде неправильно сформированных строчек: u u-S r r и пр. Между теоремами и не-теоремами есть следующая разница: количество тире в первых — составное число, во вторых — простое. К тому же, все теоремы похожи по форме, так как все они выведены при помощи одного и того же набора типографских правил. Можем ли мы сказать, что в этом смысле все не-теоремы также имеют что-то общее в форме? Ниже приводится список теорем типа S, без их вывода. Число в скобках указывает на количество тире в соответствующей теореме.
S---- (4)
S------ (6)
S-------- (8)
S--------- (9)
S---------- (10)
S------------ (12)
S-------------- (14)
S--------------- (15)
S---------------- (16)
S------------------ (18)
.
.
.
«Дырки» в этом списке как раз и являются не-теоремами. Есть ли у них какая-то общая «форма»? Можно ли предположить, что лишь постольку, поскольку они являются пробелами в неком упорядоченном списке, они обладают какими-то общими чертами? И да, и нет. Нельзя отрицать, что у них есть общие типографские черты; вопрос в том, правомочно ли называть эти черты «формой». Дело в том, что дырки определены только негативно: они представляют из себя то, что осталось от позитивно определенного списка.
Рисунок и фон
Это напоминает известное разграничение между рисунком и фоном в живописи. Когда предмет или «положительное пространство» (например, человеческая фигура, буква или натюрморт) рисуется внутри рамки, неизбежным следствием этого является появление на картине дополняющей формы, также называющейся «фоном», или «негативным пространством». В большинстве картин отношение между фоном и рисунком почти не играет роли; как правило, художник в основном занят рисунком. Однако иногда его внимание привлекает также и фон.
Существуют замечательные шрифты, обыгрывающие это различие между рисунком и фоном. Послание, написанное таким шрифтом, приводится ниже. На первый взгляд это просто несколько клякс; но если вы посмотрите на них издали, попристальнее, то увидите семь букв на этом РИСУНКЕ (специальным шрифтом, так, что черный фон, создающий белые буквы, похож на кляксы.)
Рис. 15. Рисунок
Такой же эффект производит мой рисунок «Знак из дыма» (рис. 139). Продолжая в том же ключе, попробуйте решить следующую задачку: возможно ли нарисовать такую картину, чтобы слова были как на рисунке, так и в фоне?
Давайте условимся различать между двумя типами рисунков: курсивно рисуемыми и рекурсивными (эти термины не являются общеупотребительными — их придумал я сам). В курсивно рисуемом рисунке фон является лишь побочным продуктом. В рекурсивном рисунке, наоборот, фон может рассматриваться как отдельный самостоятельный рисунок. Обычно художник делает это вполне сознательно. Приставка «ре» здесь выражает тот факт, что как рисунок, гак и фон могут быть нарисованы курсивно, то есть, такая картина «дву-курсивна». Любой контур на рекурсивном рисунке — это обоюдоострый меч. М. К. Эшер был мастером подобных картин; взгляните, например, на его великолепную рекурсивную гравюру «Птицы» (рис. 16).
Рис. 16. M. K. Эшер. «Деление пространства при помощи птиц» (из блокнота 1942 года).
Различие здесь не такое строгое, как в математике; кто может с уверенностью утверждать, что некий фон не является в то же время и рисунком? При достаточно внимательном рассмотрении, любой фон не лишен собственного интереса. В этом смысле любой рисунок можно назвать рекурсивным. Однако, вводя эти термины, я имел в виду нечто другое. Существует естественное, интуитивное понятие узнаваемых форм. Являются ли и рисунок и фон узнаваемыми формами? Если да, то такой рисунок рекурсивен. Посмотрев на фон большинства контурных рисунков, вы обнаружите, что в нем трудно признать какую-либо форму. Это доказывает, что:
