— О глобальных проблемах — это можно. Итак, что же нас в данном случае интересует?
— Мы будем исходить из того, что все вычислители — будь то человек или компьютер, все равно какой, механический или электронный, — обладают некоторыми общими свойствами. Все вычислители реализуют определенный принцип. Предположим, что такой принцип реально существует. И попробуем его сформулировать.
— Отчего не попробовать. Ты непонятно с какого бодуна постулируешь существование и единственность, а мне предлагаешь провести конструктивное доказательство?
— Ты догадлив как не знаю кто, просто не с кем сравнить.
— Спасибо на добром слове. Только можно, я все-таки человека из этого списка исключу?
— Это можно. Для начала. Дальше будет видно.
— Ладно, человека ты как-нибудь сам пристроишь. Тогда принцип известен: всякое вычисление сводится к измерению некоторого параметра определенного физического явления, в каждом случае наблюдаемые явления и параметры будут разные. Для первого примера можно взять счетные палочки. Палочки помнишь?
— Палочки помню.
— У юного дарования, например у тебя, есть десять палочек, стаканчик и весы. Вес каждой палочки 1 грамм. Вес стаканчика — 10 граммов. Весы откалиброваны так, что если поставить на них пустой стаканчик, они покажут 0. Считать ты умеешь, а вот складывать пока еще не научился. Задача — сложить 3 и 5. Ты отсчитываешь 3 палочки и бросаешь их в стаканчик, потом отсчитываешь еще 5 палочек и тоже бросаешь в стаканчик. После этого ставишь стаканчик на весы и взвешиваешь. Весы показывают 8 граммов. Это и есть результат сложения.
Взвешивание — это физический процесс, который мы используем для счета. Результат просто считывается с показателя весов. Вес и есть тот параметр физического явления, который позволяет тебе не пересчитывать все палочки, а сразу получить ответ.
Компьютер работает точно так же: есть электрические схемы, которые реализуют функции алгебры логики, например «или», «и» и «не». Как ты знаешь, с их помощью можно выразить любую сколь угодно сложную функцию. Переключатели в цепи устанавливаешь в нужные значения: включено — 1, выключено — 0, а потом подаешь напряжение и получаешь значение функции — 0, если в цепи нет тока, 1 — если есть ток. То есть сразу получаешь значение, не вычисляя функцию вручную, а только измеряя ток на выходе. Точно так же, как в первом случае, когда мы измеряли вес. Вот тебе два примера физических явлений и два разных измеряемых параметра. Если ты придумаешь еще какое-нибудь физическое явление, которое можно сходным образом приспособить, то получишь новый вид компьютера. Все просто, как грабли. Природа сама все считает, ты только научись задавать ей вопросы и понимать ответы.
— А я думал, ты начнешь с того монаха средневекового, которого арабы съели.
— Никто его не ел.
— Ну как-то по-другому замочили.
— Замочили, это точно. Звали его Раймунд Луллий. Жил он в XIII веке. Монахом он не был. Побили его камнями. А в целом все верно.
— Значит, я слегка ошибся в деталях. Бывает.
— Это тебе не по фене ботать. Он был глубоко убежден, что количество истин перечислимо и можно создать исчерпывающий алгоритм построения их всех. Луллий предложил взять несколько концентрических кругов, на каждом написать некие базовые термины разных наук и искусств, а потом эти круги вращать и считывать наборы, которые получаются на диаметрах. Таким образом, его машина как бы могла вычислять все истины мира. Но его изобретение в наших размышлениях вряд ли поможет.
— Не скажи. Есть в его машине что-то общее и с весами и с компьютером — тоже физическое устройство, с которого можно считывать результаты.
— Но известен он более всего не этим своим изобретением. Прежде чем стать философом и миссионером, Луллий вел довольно рассеянную жизнь при дворе арагонского короля и домогался одной прекрасной молодой особы. А она ему не давала. Он никак не мог взять в толк — почему? И распалился юный Луллий сверх всякой меры. Наконец она проявила к нему благосклонность. Пригласила в свою спальню и обнажила перед ним грудь. Ее грудь была поражена раком на последней стадии. Это была гниющая, страшная рана. Особа смотрела на юношу с горькой усмешкой, а бедному Луллию казалось, что он заглянул в ад. Он покинул королевский двор, ушел в пустыню и посвятил свою жизнь философии и проповеди христианства среди заблудших мусульман. Они понимания не проявили и побили его камнями в Тунисе. Согласись, это не самый характерный пример вычислителя. Давай лучше про палочки.