Прямо сейчас у вас в кармане, скорее всего, лежит небольшой предмет, который делает миллиарды вычислений в секунду. Вы к нему давно привыкли. А ведь по меркам мира это почти чудо: ещё недавно любое вычисление жило только в одном месте — в живой голове.
Сложить три яблока и два можно было лишь в уме. Пока кто-то не догадался: возьми камешки. Один камешек — одно яблоко. Сдвинул горсть — и камни взяли на себя часть работы, которую раньше делал ум. Латинское calculus и значит «камешек». Отсюда, от горстки счётных камней, — и слово «калькулятор», и само «вычисление». С этой горстки начинается длинная история, которая привела к тому предмету у вас в кармане.
Работа ума выходит наружу
Вспомните наш путь. Организация научилась храниться — сначала в генах, потом на камне и бумаге. Научилась копироваться и защищать себя от порчи. Но один глагол всё ещё принадлежал только живому уму — преобразовывать. Менять одну запись на другую, считать, выводить одно из другого. Написанная страница просто лежит, пока её не прочтёт человек. Работу мысли по-прежнему делала мысль.
Горстка камней стала первой трещиной в этой стене. Крошечная часть «преобразовывать» шагнула из головы наружу — в вещество, которое мы нарочно сложили нужным образом.
Дальше — только больше. Камни сменились косточками на спицах. Косточки — латунными шестерёнками: первые механические машины складывали и умножали, стоило лишь крутить ручку. Шестерёнки сменились переключателями — сначала громоздкими, на лампах и реле, потом крошечными, в кремнии. Но фокус всё время один и тот же: сложи вещество так, чтобы дальше оно, повинуясь простой физике, само превращало один узор в другой.
Что значит — считать
А что такое вычисление, если совсем просто? Это когда одну организацию вещества — вход — по чётким правилам превращают в другую — выход. Сложить два и два — значит превратить один узор косточек в другой. Компьютер — это машина, которая делает такие превращения нарочно и по порядку.
И вот что тут важно. Само превращение «два и два дают четыре» не зависит от того, из чего собрана машина. Хоть косточки, хоть шестерёнки, хоть электроны, хоть лучи света — сложение остаётся тем же сложением. Форма действия переживает смену носителя, ровно как и любая другая организация в нашей истории. Одно и то же вычисление можно переселить с камней на кремний, ничего не потеряв.
Вот красивый пример из позапрошлого века. Ткацкий станок Жаккара управлялся картами с дырочками: где дырка — там нить поднимается, где нет — лежит. Узор на ткани был записан узором отверстий в картоне. А спустя полтора века те же карты с дырочками кормили первые вычислительные машины. Рисунок для ткани и программа для компьютера — по сути одно и то же: приказ, застывший в физическом носителе.
У мысли есть температура
Теперь — самое неожиданное. Вычисление кажется невесомым. Чистая логика, парящая сама по себе. Но это не так.
Каждый бит — это физическое состояние вещества. Косточка здесь, а не там. Переключатель включён, а не выключен. Чтобы его перекинуть, вещество должно шевельнуться. А чтобы стереть бит — начисто убрать одно «да» или «нет» — физика требует крошечную, но обязательную плату: капельку тепла.
Это доказал Рольф Ландауэр ещё в 1961 году. И у платы есть точный порог, ниже которого не опуститься. Мысль, оказывается, имеет температуру. Всякий раз, когда мир что-то вычисляет, он чуть-чуть нагревается.
Насколько? На совершенно неощутимую величину — такую малую, что в обычной технике её и не заметишь. Но она не нулевая. И принципиально не может быть нулевой.
И это не игра ума. В 2012 году порог измерили в лаборатории: на одной-единственной частичке в ловушке проверили, что стирание бита и вправду отдаёт не меньше тепла, чем предсказал Ландауэр. Связь информации и тепла лежит не в философии, а на лабораторном столе.
Платят за то, что забывают
И вот тут — самое странное и красивое. Плата берётся не за то, что машина считает. Плата берётся за то, что она забывает.
Это показал Чарльз Беннет в 1973 году. Если устроить вычисление так, чтобы оно ничего не стирало, оно может в пределе не тратить энергию вовсе. Считай сколько угодно — плати только за то, что выбрасываешь. Помнить — даром. Забывать — вот что греет мир.
У точности — своя, отдельная цена. Чтобы машина считала верно и надёжно, а не выдавала смазанную догадку, ей нужен запас порядка, который она тратит. Как заряд в батарейке: пока внутри есть «заряженная» упорядоченность вдали от равновесия, из неё можно черпать точность. Кончится запас — и ответы поплывут. Недавняя работа физиков показала это строго: любой обработке информации нужен начальный запас чего-то, выведенного из равновесия, — иначе точности взять неоткуда.
И здесь наша история замыкается на себя. Помните самый первый закон, с которого всё началось: информация не парит над миром, она всегда во что-то воплощена. Теперь мы видим его в полную силу. Хранить, копировать, стирать, вычислять — всё это стоит энергии, потому что делать это попросту не из чего, кроме вещества. Мысль — настоящее физическое событие, и платить за неё приходится теплом.
Второй двигатель
Отойдём на шаг и посмотрим, что мы получили. Почти четыре миллиарда лет сложность на Земле росла одним-единственным способом — эволюцией. Копируй, меняй понемногу, отбирай лучшее — и так поколение за поколением, без счёта. Медленно. Вслепую. С терпением, которое трудно вообразить.
И вот включается второй двигатель. Вычисление тоже наращивает сложность — но не за миллионы лет, а за миллионные доли секунды, и не наугад, а по замыслу. Впервые у мира сразу два мотора сложности. И второй — стремительный.
Но у него пока есть слабое место: ему всё ещё нужна рука на штурвале. Кто-то должен сказать машине, что именно считать. Преобразует она блестяще — но замысел даём мы.
А что случится в тот день, когда машина возьмётся за штурвал сама — начнёт улучшать собственное устройство? Это последний шаг нашего пути, и к нему мы сейчас подойдём.
Вещество, которое когда-то умело лишь сгущаться в звёзды под собственной тяжестью, научилось считать. Мир и правда не остывает в хаос — он собирает себя в смысл. А на следующем шаге он научится учить самого себя.
Источники
- Landauer R. Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development, 1961.
- Bennett C. H. Logical Reversibility of Computation. IBM Journal of Research and Development, 1973.
- Bérut A. и др. Experimental verification of Landauer's principle linking information and thermodynamics. Nature, 2012.
- Chiribella G., Meng F., Renner R., Yung M.-H. The nonequilibrium cost of accurate information processing. Nature Communications, 2022.