Cтраница 4
Любопытно, что проблема конечного спектра ( приведенная в книге Кейслера и Чэна под номером 1 среди старых проблем теории моделей), неожиданно оказалась связана с центральной проблемой теории сложности вычислений - так называемой проблемой перебора. Проблема конечного спектра состоит в следующем: верно ли, что дополнение ( до N) к спектру любой формулы является спектром некоторой другой формулы. [46]
В этих трех главах мы показываем, в частности, каким образом новые методы могут быть использованы для решения многих старых проблем. [47]
Эта проблема новая, но, в сущности говоря, она представляет собой возвращение на новом историческом этапе развития науки к очень старой проблеме, почти забытой сейчас. Конечно, это возвращение не означает воскрешения старых и давно доказавших свою несостоятельность учении. Но, как это часто бывает в истории научной мысли, которая развивается диалектически, пересмотр какой-либо теории с точки зрения наибольшей высоты, которой достигла наука в момент пересмотра, приводит к восстановлению некоторых правильных положений, содержавшихся в теориях, еще более ранних, чем та, которая пересматривается. [48]
Никаких технологических новшеств, без которых нельзя было бы из Сети сделать метакомпьютер, за 90 - е годы не появилось, а старая проблема в разгар финансового кризиса вдруг заострилась настолько, что вошла в список первоочередных мероприятий компьютерных монополий. Похоже, финансовый кризис настолько серьезен, что заставляет ввязываться в рискованную игру с глобально распределенными вычислениями, которая никак не укладывается в прокрустово ложе противоречивых интересов сложившихся компьютерных монополий. Кому, все же, должен принадлежать Метакомпьютер - качественно новый информационный сверхинструмент компьютерного влияния. Ответ Или всем, или никому как-то не укладывается в сложившееся на мировом рынке разделение сфер влияния. [49]