ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда.

Коды и неявное значение.

Вы можете возразить, что закодированное сообщение, в отличие от незакодированного, само по себе ничего не выражает — чтобы его понять, необходимо знать код. Однако на самом деле незакодированных сообщений не существует Просто одни сообщения написаны на более знакомых кодах, а другие — на менее знакомых. Чтобы раскрыть значение сообщения, его необходимо «извлечь» из кода при помощи некоего механизма, или изоморфизма Иногда открыть метод дешифровки бывает трудно, но, как только этот метод раскрыт, сообщение становится прозрачным, как стекло. Когда код становится достаточно знакомым, он перестает выглядеть как таковой, и мы забываем о существовании декодирующего .механизма. Сообщение сливается со значением.

Здесь мы сталкиваемся со случаем такого полного отождествления сообщения со значением, что мы с трудом можем вообразить, что данные символы могут иметь какое-то иное значение. Мы настолько привыкли считать, что символы ТТЧ придают строчкам этой системы теоретико-числовое значение (и только теоретико-числовое), что нам бывает трудно представить, что некоторые строчки ТТЧ могут быть интерпретированы, как высказывания о системе MIU. Однако Гёделев изоморфизм заставляет нас признать этот второй уровень значения у некоторых строчек ТТЧ.

МУМОН, декодированный в более знакомом нам виде, сообщает, что.

30 — Число МIU.

Это высказывание теории чисел, полученное при интерпретации каждого знака обычным путем.

Открыв Гёделеву нумерацию и построенный на ее основе изоморфизм, мы в каком-то смысле расшифровали код, на котором высказывания о системе MIU записаны при помощи строчек ТТЧ. Гёделев изоморфизм — это новый обнаружитель информации, в том же смысле, как дешифровки старинных текстов были обнаружителями заложенной в этих текстах информации.

Декодированное этим новым и менее знакомым нам способом, МУМОН сообщает, что.

MU — теорема системы MIU.

Мораль этой истории мы уже слышали: любой узнанный нами изоморфизм автоматически порождает значение; следовательно, у МУМОНа есть по крайней мере два пассивных значения, а может быть, и больше!