dbodb писал(а):
Основной задачей на пути создания ЭВМ естественного и массового параллелизма является повышение уровня языка программирования в сторону непроцедурного программирования вплоть до перехода к строго логическому языку написания программ.
А чем Вас не устроили функциональные языки? Вроде бы они именно это и делают...
Цитата:
Совершить такой переход стало возможным только при определении структуры математической логики, что оказалось весьма нетривиальной задачей. Попытка решить эту задачу и на её основе построить теорию параллельных вычислений в целом и продемонстрирована в упомянутой мною серии статей.
Покажите хоть один модельный пример. Пока совершенно непонятно в чём какая-то новизна подхода.