И т. д. и т. п.
Ясно, что, действуя таким образом, вы не можете пропустить не одной теоремы системы pr. С течением времени корзина будет наполняться все более длинными теоремами; это — следствие отсутствия сокращающих правил Таким образом, если вы желаете проверить, является ли данная строчка (например, --p---r-----) теоремой, вам придется следуя шаг за шагом, бросать в корзину все новые теоремы и сравнивать их с данной строчкой. Если таковая обнаружится, значит, это — теорема. Если же в какой-то момент вы заметите, что все, что попадает в корзину, длиннее искомой строчки, можете прекратить поиски — это не теорема. Такой разрешающий алгоритм называется восходящим, так как он исходит из основы, фундамента системы — аксиом. Предыдущий алгоритм разрешения, наоборот, спускался сверху, приближаясь к фундаменту системы.
Изоморфизмы порождают смысл
Теперь мы подошли к центральному вопросу данной главы — и книги в целом. Возможно, у вас уже мелькнула мысль, что теоремы pr напоминают сложение. Строчка --p--r---- является теоремой, потому что 2 плюс 3 равняется 5. Может быть, вы даже подумали, что теорема --p---r----- не что иное как записанное необычной нотацией утверждение, означающее, что 2 плюс 3 равняется 5. На самом деле я нарочно выбрал буквы p и r, чтобы напомнить вам о словах «плюс» и «равняется». Так что же, строчка --p---r----- на самом деле означает 2 плюс 3 равняется 5?
Что заставляет нас думать подобным образом? Мне кажется, что в этом виноват замеченный нами изоморфизм между системой pr и сложением. Во введении термин «изоморфизм» был определен как трансформация, сохраняющая информацию Теперь мы можем далее углубиться в это понятие и рассмотреть его в иной перспективе. Слово «изоморфизм» приложимо к тем случаям, когда две сложные структуры могут быть отображены одна в другой таким образом, что каждой части одной структуры соответствует какая-то часть другой структуры («соответствие» здесь означает, что эти части выполняют в своих структурах сходные функции). Такое использование слова «изоморфизм» восходит к более точному математическому понятию.
Обнаружить изоморфизм между двумя известными ему структурами — большая радость для математика. Часто это открытие изумительно и неожиданно, как гром с ясного неба. Осознание изоморфизма между двумя хорошо известными структурами — большой шаг вперед по дороге познания, и я считаю, что именно это порождает значения в человеческом мозгу. Для полноты картины заметим, что поскольку изоморфизмы бывают самых различных типов, иногда не совсем ясно, когда же мы в действительности имеем дело с изоморфизмом. Таким образом, слову «изоморфизм», как и вообще всем словам, присуща некая расплывчатость, что является одновременно и достоинством, и недостатком.
В данном случае, у нас имеется великолепный прототип для понятия «изоморфизм». Во первых, у нас есть «низший уровень» нашего изоморфизма — соответствие между частями двух структур:
p <==> плюс
r <==> равняется
- <==> один
-- <==> два
--- <==> три
и т. д.
Подобное соответствие между словами и символами называется интерпретацией.
Во-вторых, на более высоком уровне, у нас имеется соответствие между истинными утверждениями и теоремами. Заметим, однако, что это соответствие высшего уровня не может быть осознано, пока мы не выберем интерпретации для символов. Исходя из этого, правильнее будет говорить о соответствии между истинными суждениями и интерпретированными теоремами. В любом случае, мы установили соответствие между двумя порядками — нечто типичное для изоморфизма. Когда вы имеете дело с формальной системой, о которой ничего не знаете и в которой желаете найти скрытое значение, ваша задача — интерпретировать символы таким образом, чтобы установить соответствие между истинными высказываниями и теоремами. Возможно, что сначала вам придется искать наугад, прежде чем вы найдете набор слов, подходящий для ассоциации с символами системы. Эта процедура весьма напоминает попытки расшифровать секретный код или прочитать надпись на незнакомом языке, как, например, критский линейный В: единственный возможный путь состоит в использовании метода проб и ошибок, а также «разумных» догадок. Когда вы найдете правильный, «значащий» вариант, внезапно все приобретает смысл, и работа начинает идти во много раз быстрее. Очень скоро все встает на свои места. Счастливое волнение, испытываемое при этом исследователем, хорошо описано Джоном Чадвиком в его книге «Расшифровка линейного языка В» (John Chadwick, The Decipherment of Linear B).
Однако мало кому приходится расшифровывать формальные системы, найденные в раскопках древних цивилизаций. Больше всего с формальными системами имеют дело математики (а в последнее время также лингвисты, философы и некоторые другие ученые); они придерживаются определенной интерпретации в формальных системах, которые они изучают и используют. Эти специалисты пытаются создать такую формальную систему, теоремы которой изоморфно отражали бы какие-либо фрагменты действительности. В этом случае выбор символов так же важен, как выбор типографских правил вывода. Задумав систему pr, я очутился как раз в таком положении. Читателю, вероятно, уже понятно, почему я выбрал именно такие символы. Теоремы системы pr не случайно изоморфны сложению; это получилось потому, что я искал способ представить сложение типографским путем.
Интерпретации значащие и незначащие
Вы можете выбрать интерпретации, отличные от моей. При этом не обязательно, чтобы каждая теорема оказывалась истинной. Однако какой смысл в такой интерпретации, при которой, скажем, все теоремы оказывались бы ложными? Еще более бессмысленной выглядит интерпретация, при которой теоремы вообще никоим образом не соотносятся с критериями истинности или ложности. Нам придется поэтому различать два типа интерпретации формальных систем. Во-первых, мы можем говорить о незначащей интерпретации, которая не устанавливает никакой изоморфной связи между теоремами системы и реальностью Подобных интерпретаций сколько угодно, годится любой случайный выбор. Возьмем, например, такую интерпретацию
p<==> лошадь
r<==> счастливая
- <==> яблоко
Теперь строчка -p-r-- приобретает новую интерпретацию «Яблоко лошадь яблоко счастливая яблоко яблоко» Это поэтическое выражение, пожалуй, может понравиться лошадям и даже показаться им наилучшей интерпретацией строчек данной системы. Однако в такой интерпретации весьма мало «осмысленности», теоремы системы звучат ничуть не истинней и не лучше, чем не-теоремы. Утверждение «счастливая счастливая счастливая яблоко лошадь» (соответственно, rrr-p) доставит нашей лошадке точно такое же удовольствие, как и любая интерпретированная теорема.
Другой тип интерпретации может быть назван значащим. В такой интерпретации, теоремы и истины совпадают — то есть, между теоремами и фрагментами реального мира существует изоморфизм. По этой причине мы будем различать интерпретацию и значение. Интерпретацией p могло бы быть любое слово, но «плюс» кажется мне единственным значащим вариантом. Короче, наиболее вероятно что значение «p» — «плюс», хотя этот символ может иметь миллион различных интерпретаций.
Активные и пассивные значения
Возможно, что прочитавшие внимательно эту главу найдут самым важным в ней следующий факт: система pr, по всей видимости, заставляет нас признать, что поначалу абстрактные символы неизбежно приобретают некое значение, по крайней мере, если мы находим какой-либо изоморфизм. Однако между значением в формальных системах и значением в языке есть важное различие. Различие это заключается в том, что, выучив значение какого-либо слова, мы составляем затем новые предложения, основанные на этом значении. В определенном смысле значение становится активным, так как оно порождает новые правила создания предложений. Это означает, что наше владение языком не является законченным продуктом, правил производства предложений становится все больше по мере того, как мы выучиваем новые значения. С другой стороны, в формальных системах теоремы предопределены правилами вывода. Мы можем выбирать «значения», основанные на изоморфизме (если таковой удается найти) между теоремами и истинными утверждениями. Однако это еще не разрешает нам по своему усмотрению прибавлять новые теоремы к уже имеющимся в системе. Именно об этом предупреждало нас в первой главе правило формальности.
