Наткнулся тут наперевододного из текстов Дейкстры, написанным в 1983 году:> -- Цитата:
> Сейчас пошла мода делать всевозможные «умные» системы и компоненты. Если выпарить воду, то этот почин сводится к разработке пушистого интерфейса между пользователем и компьютером, который делает компьютер как можно меньше похожим на компьютер: необходимо любой ценой замаскировать сильнейшую сторону компьютера — эффективное воплощение формальной системы.На всякий случай приведу и оригинал (хотя, по-моему, смысл передан точно):> -- Цитата:
> And now we have the fad of making all sorts of systems and components "intelligent" or "smart". It often boils down to designing a woolly man-machine interface that makes the machine as unlike a computer as possible: the computer's greatest strength --the efficient embodiment of a formal system-- has to be disguised at great costНо я понял, что не врубаюсь в смысл сказанного - сейчас, в новой вроде бы эпохе, спустя тридцать лет. Конечно, можно сказать, что в 1983 году компьютеры были совсем другими и нынче Дейкстра безнадёжно устарел. Как можно сейчас, в эпоху мобильных компьютеров, понятных трёхлетнему человеку, говорить про эффективность формальной системы?