|
В поисках города Шёлкового пути 1985 год. Кавказские горы, СССР. Неподалёку от Пятигорска, во время одной из археологических экспедиций, советскими учёными, были сделаны несколько весьма интересных находок, ставших впоследствии поводом к началу работ по поиску затерянного древнего города, главной крепостью Великого шёлкового пути на Кавказе, города Боргустан. Находки на первый взгляд были обычными: наконечник стрелы, кусок ушитой кожи, железная поясная пряжка, фрагмент курительной лампы. Но учёных заинтересовало то, что все эти предметы не принадлежали Кавказской культуре. Найденные артефакты явно принадлежали разным культурам и учёные пришли к выводам, что их владельцы были подданными разных государств, причём как европейских, так и азиатских. А тот факт, что все эти предметы были найдены на территории одного района и довольно далеко от места их производства, позволил учёным связать это обстоятельство с тем, что когда – то именно в этих местах проходил Великий шёлковый путь. И именно здесь располагался один из его важнейших стратегических узлов, древний город Боргустан. |
|
СОЗДАНИЕ ТЕЛЕПАТИЧЕСКОГО УСТРОЙСТВА И НАЧАЛО ОХОТЫ Сегодня был особенный день. Виола была в дельфинарии. Мы проводили испытания новой технологии. Технологии которая перевернёт весь мир. Электронный чип был вживлён в мозг дельфинов. Такой же чип был вживлён в мозг Виолы. Виола была совершенно лысой после нейрохирургической операции. Её обрили чтобы волосы не мешали нейрохирургам провести операцию. Вообще её надо было продержать в больнице день еще два но ей не терпелось испытать новую технологию. Это было телепатическое устройство позволяющее создать прямой мозговой интерфейс между десятью дельфинами. |
|
И вот мы в воскресенье под предлогом того что мы поехали на пикник на природу мы с Иоганном Кранцем по очереди рулим джипом. На самом деле в джип загружены акваланги, и надувная лодка... Устав рулить мы останавливаемся на обочине дороги и выйдя из машины мы устроили пикник. Мы начали есть яйца и огурцы и бутерброды. Поев мы прилегли на траве и стали обсуждать то место которое удалось запеленговать.
|
|
Есть принципы которые позволяют нам отделять идеи которые принесут кровопролитие от идей которые принесут мене сильное кровоприлитие — сказала Виолетта - и что за эти принципы ГЕГЕЛЕВО — ГЕДЕЛЬСКИЕ ПРИНЦИПЫ РАЗВИТИЯ СЛОЖНЫХ СИСТЕМ. |
Мы получили противоречие потому, что наша начальная посылка о существовании магической функции F была не правильной. Получается, что задача останова неразрешима. Вернее, нельзя написать программу, которая бы решала эту задачу.
|
|
Каждый символ ТТЧ соотнесен с трехзначным числом, составленным из цифр 1, 2, 3 и 6 таким образом, чтобы его было легче запомнить. Каждое такое трехзначное число я буду называть Геделев кодоном, или, для краткости,кодоном. Заметьте, что для b. с, d или е кодонов не дано, поскольку мы используем здесь строгую версию ТТЧ. Для этого есть причина, которую вы узнаете в главе XVI. Последняя строчка, «пунктуация», будет объяснена в главе XIV. |
|
Коды и неявное значение Вы можете возразить, что закодированное сообщение, в отличие от незакодированного, само по себе ничего не выражает — чтобы его понять, необходимо знать код. Однако на самом деле незакодированных сообщений не существует Просто одни сообщения написаны на более знакомых кодах, а другие — на менее знакомых. Чтобы раскрыть значение сообщения, его необходимо «извлечь» из кода при помощи некоего механизма, или изоморфизма |
|
ТТЧ помогает ответить на вопросы о выводимых числах Значит ли это, что одна-единственная формальная система — ТТЧ — предоставляет нам способ ответить на любой вопрос о любой формальной системе? Возможно. Возьмем например, такой вопрос: Является ли MU теоремой системы MIU? |
Ответ на этот вопрос — не ускользающее MU, но полновесное НЕТ. Чтобы показать это, мы воспользуемся привилегиями дуалистического, логического мышления. В главе I мы сделали два важных наблюдения: (1) что сложность головоломки MU зависит от взаимодействия удлиняющих и укорачивающих правил;(2) что тем не менее есть надежда решить эту задачу, пользуясь достаточно сложным орудием: теорией чисел. В главе I мы не стали подробно анализировать головоломку MU с этой точки зрения; теперь пришло время это сделать. Скоро мы увидим, как второе наблюдение (вынесенное за пределы незначительной системы MIU) стало одним из самых плодотворных открытий математики и как оно изменило взгляд математиков на их предмет. Мумон показывает нам, как решить головоломку MU Согласно приведенным выше наблюдениям, MU — не более как головоломка о натуральных числах, одетая в типографский костюм. Переведя ее в область теории чисел, мы смогли бы найти ее решение. Давайте поразмыслим над словами Мумона, сказавшего: «Если у кого-нибудь из вас — один глаз, тот заметит ошибку учителя.» Но почему важно иметь именно один глаз? |
Формальные системы ОДНИМ ИЗ центральных понятий этой книги является понятие формальной системы. Формальные системы того типа, который я использую, были изобретены американским логиком Эмилем Постом в 1920-х годах; их часто называют системами продукции или системами Поста. Эта глава познакомит вас с одной из таких формальных систем. Надеюсь, что вам захочется хотя бы немного ее исследовать — чтобы вас заинтересовать, я придумал небольшую головоломку. |