Understanding Computation
Так называется в оригинале эта книжка. Просматривая, подумал сначала о рекламе языка Ruby, что скорее всего так и есть. Тем не менее, прецедент показался значительным с точки зрения вопроса о том, какие «интеллектуальные фундаменталии» (пазлы) точно необходимы для МЕТАМОДЕЛИРОВАНИЯ. Зря переводчики перевели название книжки интерпретацией автором своей «цели». Эта не теория. У нас здесь уже есть целый ряд теорий - теория автоматов, теория алгоритмов, теория вычислимости, ... но, как раз осознавая необходимость в анализе всего этого накопленного «богатства» опять же, конкретный опыт показался важным. Что выделяет автор. И снова на ум приходят мысли, что нет теорий, вообще. Есть авторские изобретения и представления, конкретные вычислительные инструменты и теперь ещё вычислительные языки, реализующие алгоритмы. Вот эти конкретные языки и алгоритмы сейчас заменяют нам логику, математику, лингвистику, философию и прочую «историческую лабуду». Не понимая как устроен наш «персональный вычислительный помощник», на каком языке его BIOS или UEFI, мы всегда будем предметом для одурачивания со стороны производителей «общих операционных систем», «серверов» и «торговых рекламных площадок». Не случайно в мире образуется бум «одноплатовых» компьютеров и P2P сетей. Прежде всего мне нужен персональный интеллектуальный агент и скорее всего, который не возникнет без моего участия. В определенном смысле, движение открытых протоколов передачи информации и полной документации продающихся устройств - суть современной политики. Конечно, без ретроспективы, которая тоже элемент эпистемологии, нам не обойтись, возможно ещё не все методы, изобретенные в прошлом, реализованы или даже просто формализованы. Но я, по крайней мере, начал осознавать, что не надо «далеко ходить». Есть голова и есть «аппаратный инструмент». Последний - сам себе аналоговая вычислительная модель. Необходимое и в определенном смысле достаточное условие для МЕТАМОДЕЛИРОВАНИЯ. Достаточное, потому что настоящие представления о вычислениях, проектировании и моделировании, говорят нам о том, что у нас есть все пазлы для сборки интеллектуальных систем любой сложности. Проблема только в этой самой сложности. Мы не можем выбрать из кучи информационного мусора необходимые пазлы нам. Некоторые информатики (Вирт) пытались или пытаются (Кнут) такие пазлы выделить, но видимо субъективный характер знания, заставляет нас обратиться с большим вниманием к анализу именно конкретных языков и алгоритмов.