Народная республика Walmart

В 1993 году вышла книга «К новому социализму», местами больше похожая на вузовский учебник по программированию, чем на левацкий памфлет. Её авторы, Кокшотт и Коттрел, оспаривают мысль о безнадёжности планирования с помощью новостей из мира информатики:

«Современные достижения в области информационных технологий позволят создать систему планирования, которая будет и эффективнее рынка (в удовлетворении потребностей человека), и справедливее».

Компьютеры лучше рынков — вот это поворот!

Технический прогресс сделал неактуальными опасения Мизеса и Парето о том, что при социализме экономические расчёты будут невозможны на практике. Вместе с тем они утверждают, что, слабым звеном является вовсе не отсутствие сверхбыстрых центральных ЭВМ (хотя известный уровень производительности несомненно поможет делу). Для работы сети планирования по всей стране и по всей экономике вполне достаточно скромных ПК, объединённых в сеть и пользующихся стандартизированной системой идентификации продуктов и баз данных. Однако необходим всеобщий доступ к компьютерам и свободное движение информации.

Обсуждение не утихло и в 2000-х с появлением новых технологий. В 2002 году польский исследователь логики из Варшавского Университета Витольд Марчижевский возразил, что для социалистического планирования потребуются так называемые сверх-тюринговые машины, они же гипер-компьютеры — теоретические ЭВМ, способные выполнять расчёты, недоступные обычным компьютерам. Есть мнение, что их невозможно даже спроектировать, не то что построить.

А в 2006 году Роберт Мерфи, молодой экономист австрийской школы из Тихоокеанского исследовательского института, калифорнийского «мозгового центра» рыночников, с помощью диагонального метода Георга Кантора показал, что расчётная матрица плановой комиссии должна будет вместить не миллиарды или триллионы ценников, а бесконечное их число — по примеру совокупности всех действительных или целых чисел. Таким образом, социалистический расчёт на всю экономику в принципе невозможен, поскольку полный перечень всех цен невозможно будет перечислить.

Чтобы понять, представьте себе сколь угодно великое множество целых чисел (0, 1, 2, 3... ∞): за бесконечное время их можно пересчитать просто перечисляя одно за другим. Но бесконечность действительных чисел, помещающихся между нулём и единицей, еще больше, потому что содержит бесконечное количество таких бесконечных строк целых чисел! Поэтому их нельзя пересчитать никогда, даже за бесконечное время. По мнению Мёрфи, именно так выглядит перечень цен, необходимых для учёта при планировании — неисчислимая бесконечность*.

* прим. переводчика: Кто бы сомневался! Если такой «исследователь» руководствуется, прежде всего, политической задачей доказать, что планирование в принципе невозможно, то ясно и ежу, что он будет брать задачу строго «в лоб» и строго самым неэффективным алгоритмом : )

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

Спор этот оставляет экономистов с политологами, перемещаясь к теоретикам вычислительной сложности и информатики — так же в своё время спор о теории сознания перетёк из философии к нейробиологам. Но он всё равно не покидает царство научных журналов, вдали от широкой публики — и даже в нём, считается чем-то вроде азартной игры для математиков. Вся его аудитория — горстка кабинетных учёных.

Тут и здравомыслие капиталистического общества:

«Ну что ты, Джим, разве можно всерьёз обсуждать нерыночную экономику; но вот в порядке эксперимента представь...»

Роман Френсиса Спаффорда о плановой экономике «Страна изобилия» вышел всего через два года после финансового кризиса 2008 года и вызвал большой всплеск отзывов, особенно в интернете. Самым интересным среди них наверное было длинное эссе Космы Шализи, «левоватого» по собственному признанию преподавателя статистики из университета Карнеги-Меллона. Он утверждает, что линейному программированию его научил папа в детстве.