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