Предисловие научного редактора
Целое – это единство формы и содержания. Во всяком случае, если мы говорим о реальности.
Разрыв формы и содержания – самый характерный признак мирового развития computer science, который заметен уже начиная с аналитической машины Чарльза Беббиджа, универсального вычислителя Тьюринга, принципов и архитектуры фон Неймана и других и заканчивая решениями нынешнего времени.
Все известные универсальные вычислители сегодня являются именно вычислителями. Они работают с формой – числами. Процесс выполнения операций над числами никак не связан с содержанием, с семантикой. Именно с отрывом формы от содержания (на мой взгляд, конечно: здесь и всюду далее наиболее жесткие аттестации – это мое оценочное мнение) связаны все основные проблемы в развитии информационных технологий, базовые принципы которых уже нельзя считать чем-то иным, а не фатальным заблуждением. Мысль не продвинулась дальше больших калькуляторов с хорошими экранами.
Действительно, любая ЭВМ легко вычислит 5 + 6 и даст, на первый взгляд, верный ответ: 11. Но чего – 11? Если 5 – это яиц, а 6 – помидоров, то результат – это одна яичница из пяти яиц и шести помидоров, а никак не 11. Да и «одна яичница» – верный ответ лишь в том случае, если 5 яиц и 6 помидоров положили на горячую сковороду. А если в холодильник, то 5 + 6 наутро будет снова 5 + 6.
Числа – это только форма. Содержание утеряно, за числами не стоит семантика. Вычисления приходится интерпретировать, а негодяям повлиять на эту интерпретацию очень несложно. Именно ошибочные интерпретации и приводят зачастую к удачным хакерским атакам, подменам смысла и прочим неприятностям.
Ярким примером дихотомии «форма-содержание» является электронная подпись (ЭП). Все о ней слышали, некоторые отчаянные даже попробовали использовать. Что же дает нам электронная подпись? Является средством защиты? Нет. Не может она ничего защитить. Ничто не помешает злоумышленнику исказить подписанный текст. Другое дело, что с использованием ЭП при соблюдении ряда важных условий можно установить, что искажение где-то было. И все.