Обсуждение:Лисп-машина

«На определенном этапе экспоненциального роста вычислительной мощности (закон Мура) аппаратная реализация уже не имела экономического смысла для компьютеров широкого потребления, и производители Лисп-машин ушли с рынка. ...
Возможно сказался также техно-политический принцип вывода в закрытую зону исключительно эффективных технологий »
Последнее предложение - похоже это чья-то паранойя. Удаляю из текста статьи.
Лисп-машина стала сопутствующим обстоятельством всех перечисленных инноваций скорее всего лишь потому, что на тот момент пользовалась популярностью именно в исследовательских кругах.
Аппаратная реализация лямбда-исчисления технологически (а значит экономически и политически) вряд ли имеет хоть какие-то факторы превосходства над программной, выполненной на обычной регистровой машине с фон-неймановской архитектурой, каковая пожалуй просто является наиболее "естественным" вычислительным устройством, из возможных в рамках существующей парадигмы проектирования ЦВМ, то есть:

• построения всего и вся на базе синхронизируемых логических схем;
• ориентации на арифметические и булевы операции, использование двоичной системы кодирования;
• "векторной" (а не "сетевой" или "древовидной" к примеру) аппаратной организации всех видов памяти;
• (и как следствие) ориентации на синхронные (однопоточные или многопоточные) "пошаговые" алгоритмические вычисления.

В предположении одновременного отказа от большей части этих принципов, лисп-машина может быть и способна оказаться эффективнее традиционной, но сам такой отказ трудно вообразить как некую экономическую реальность в ближайшие ... лет. Включив фантазию, конечно можно представить, что при использовании каких-нибудь достаточно хитрых асинхронных аппаратных нейросетей в качестве элементной базы лисп-машина будет иметь те или иные заметные преимущества.. Труднее вообразить зачем вся эта экзотика реально так уж и нужна с инженерной, экономической и политической точек зрения. Тем более, что лисп-машина как ни крути всё равно эквивалента традиционной регистровой по критерию полиномиальной сводимости.
Чего не скажешь о том же квантовом компьютере, имеющем даже с военно-политической точки зрения немалую значимость. А ведь сам факт ведения исследований по квантовым компьютерам никто вроде бы и не пытается скрывать!
Да более того, этот "никто" :) даже не собирается скрывать свои противоракеты в восточной Европе :)
...Похоже главный принцип современной войны - запугать и измотать противника и заставить его разоружиться (или "разоружиться") добровольно...
Так почему же тогда именно бедная лисп-машина вдруг оказалось тайным оружием "империалистов"? Право, смешно, господа.

Mas.morozov 19:54, 11 апреля 2009 (UTC)