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

Решение заключается в следующем:

ПРАВИЛО: Если – -NDz является теоремой, то zSOD-- также будет теоремой.

ПРАВИЛО: Если zSODx и x– NDz являются теоремами, то zSODx также будет теоремой.

Эти два правила, в совокупности, характеризуют понятие свободы от делителей. Все что нам нужно, это указать, что простые числа — это числа, свободные от делителей, включая число на единицу меньшее их самих:

ПРАВИЛО: Если z– SODz является теоремой, то Pz– также будет теоремой.

Не будем забывать, что 2 — тоже простое число!

АКСИОМА: P--

Вот и все, что нам необходимо. Принцип формального выражения «просто-численности» заключается в том, что существует метод проверки, не требующий никакого отступления назад. Вы всегда двигаетесь вперед, проверяя данное число на делимость — сначала на 2, потом на 3, и так далее. Именно эта «монотонность» или однонаправленность — отсутствие игры между укорачивающими и удлиняющими правилами — позволила нам уловить суть простых чисел. И именно этой потенциальной сложностью формальных систем, могущих вместить сколько угодно взаимодействий между движением вперед и назад, объясняются такие ограничивающие результаты как Теорема Гёделя и Проблема Остановки Тюринга, как и тот факт, что не все рекурсивно счетные множества рекурсивны.

Акростиконтрапунктус

Ахилл: Хорошая у вас коллекция бумерангов, я такой нигде не видал!

Черепаха: Обыкновенная, не преувеличивайте, пожалуйста. У любой Черепахи можно увидеть коллекцию ничуть не хуже.

Ахилл: Феноменально! Вы, Черепахи, никогда не перестанете удивлять меня своей любовью к собиранию бумерангов.

Черепаха: Шутить изволите? Да страсть к коллекционированию этого оружия у нас в крови. А сейчас, не угодно ли пройти в гостиную?

Ахилл: Только после Вас, как обычно, госпожа Черепаха. (Следуя за Черепахой, Ахилл входит в гостиную и направляется в угол комнаты.) Я вижу, что у вас также неплохое собрание пластинок. Какую музыку вы предпочитаете?

Черепаха: Актуальный вопрос. Видите ли, хотя я всегда была и остаюсь поклонницей Баха, должна признаться, что сейчас я увлекаюсь довольно необычной музыкой.

Ахилл: Да? Что же это за музыка?

Черепаха: Такая, о которой вы, скорее всего, никогда не слыхали. Я называю ее «разбивальная музыка».

Ахилл: Едва ли не самая поразительная вещь, которую я слыхал от вас за последнее время. Что значит это необычное название?

Черепаха: Рада удовлетворить ваше любопытство. Эта музыка — для разбивания патефонов.

Ахилл: О ужас!

Черепаха: Вы полагаете?

Ахилл: С ума сойти! Воображаю, как вы, пританцовывая с кувалдой в руке, сокрушаете один патефон за другим под звуки «Битвы при Виттории» Бетховена.

Черепаха: Какое у вас образное мышление! Должна вас разочаровать, эта музыка не совсем то, что вы предполагаете. Однако ее истинная природа тоже любопытна. Могу дать вам кое-какие разъяснения…

Ахилл: Интересно… Я весь внимание!

Черепаха: Йоркширский мой приятель, старый Краб (вы с ним, часом, не знакомы?) пришел ко мне однажды с визитом…

Ахилл: Архибольшая умница, этот Краб. Я много о нем наслышан, но сам с ним никогда не встречался. Уверен, что знакомство со стариком принесло бы мне немалое удовольствие.

Черепаха: Конечно, он личность незаурядная. Надо бы мне устроить вашу встречу; может быть, мы все как-нибудь увидимся в парке на прогулке. Думаю, что вы понравитесь друг другу!

Ахилл: Расчудесная идея! Буду ждать этого с нетерпением… Однако мы отклонились от темы вы, кажется, хотели объяснить мне, что такое разбивальная музыка?

Черепаха: Ох, да, чуть не забыла. Так вот, пришел, значит, Краб ко мне в гости. Вы, наверное, слыхали, что у него всегда была страсть ко всяческим машинкам и приспособлениям; в то время он прямо-таки сходил с ума по патефонам. Он тогда только что приобрел свой первый патефон и, будучи наивным и доверчивым покупателем, поверил во всю ту белиберду, что нам обычно говорят усердные клерки в надежде сбыть свой товар. На этот раз клерк объявил, что понравившийся Крабу патефон может верно воспроизвести любой звук. Короче говоря, Краб уверился в том, что он купил Идеальный Патефон.

Ахилл: Само собой разумеется, вы с этим не согласились.

Черепаха: Точно, но он заупрямился и твердил, что его проигрыватель может воспроизвести какие угодно мелодии. Спорить не было толку, и каждый остался при своем мнении. Вскоре, однако, я опять пришла к Крабу в гости, на этот раз не с пустыми руками: я принесла с собой запись песни моего собственного сочинения. Песня называется «Меня нельзя воспроизвести на Патефоне №1.»

Ахилл: Идея неординарная, ничего не скажешь! Это вы ему в подарок принесли?

Черепаха: Конечно. Я предложила ему прослушать мое сочинение на его новом патефоне, и он с радостью согласился. Он поставил пластинку и включил патефон; но после первых же тактов бедный аппарат завибрировал, затрясся и вдруг — БА-БАХ! — разбился на мельчайшие кусочки, разлетевшиеся по всей комнате. Натурально, пластинка тоже разбилась вдребезги…

Ахилл: О, Боже!… Какой удар для бедняги. Что-то было не в порядке с патефоном?

Черепаха: Ничего. Абсолютно ничего. Просто он не мог воспроизвести мелодию моей песни — эти звуки вызвали в нем такую сильную вибрацию, что он разбился.

Ахилл: Так значит, это все же был не Идеальный Патефон. А ведь клерк ему такого наговорил…

Черепаха: Разве вы, Ахилл, верите всему тому, что говорят продавцы? Неужели вы так же наивны, как старый Краб?

Ахилл: Абсолютно нет! Краб гораздо наивнее. Я-то знаю, что все торговцы — известные пройдохи и надувалы. Поверьте, я не вчера родился!

Черепаха: Представьте себе тогда, что тот клерк мог несколько преувеличить выдающиеся качества нового приобретения Краба. Скорее всего, его патефон вовсе не идеальный, а значит, не может воспроизвести любые звуки.

Ахилл: Увы, кажется, так оно и есть… Но как вы объясняете тот удивительный факт, что именно ваша запись оказалась той самой «невоспроизводимой» мелодией?

Черепаха: Ничего удивительного; я сделала это специально. Перед тем, как снова отправиться к Крабу, я пошла в магазин, продавший ему патефон и спросила, где эта модель была сделана. Узнав адрес, я послала на фабрику запрос и со следующей почтой получила полное описание патефона Краба. Я работала, не покладая лап, проанализировала всю конструкцию, и мне удалось найти именно ту мелодию, которая, если ее сыграть вблизи от этого патефона, разобьет его вдребезги!