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