Цифровая трансформация государственного управления. Датацентричность и семантическая интероперабельность - Акаткин Юрий Михайлович

Юрий Акаткин, Елена Ясиновская

Цифровая трансформация государственного управления. Датацентричность и семантическая интероперабельность

Благодарности

Мы хотим выразить самую искреннюю благодарность нашим семьям и близким за поддержку, понимание и терпение. Особо нужно отметить вклад Владимира Ивановича Дрожжинова, который принимал активное участие в подготовке материалов книги на начальных этапах ее создания. Без его энциклопедических знаний в области электронного правительства книга не приобрела бы нужной широты. Работы Александра Николаевича Райкова, любезно предоставленные им для пятой части монографии, оказали большую помощь в осмыслении перспектив развития когнитивного правительства.

Мы высоко ценим работу нашего научного редактора Валерия Аркадьевича Конявского. Его вдумчивые комментарии, острые замечания и конструктивные предложения во многом повлияли на глубину исследования, привели нас к более точным формулировкам и позволили взглянуть на многие вопросы с разных сторон. Заинтересованное внимание рецензентов Виктора Константиновича Батоврина и Андрея Михайловича Райгородского, их полезные советы помогли нам избе жать досадных неточностей. Отдельную благодарность хочется выразить Михаилу Геннадиевичу Бичу и Андрею Владимировичу Шилину, разработки которых помогли практически проверить наши соображения.

Неоценимыми были для нас неподдельный интерес, поддержка коллег и единомышленников на протяжении всего многолетнего труда над книгой. Мы говорим спасибо и вам, наши читатели, за ваш выбор и внимание к этой монографии.

Ошибка великого Тьюринга

Предисловие научного редактора

Целое это единство формы и содержания. Во всяком случае, если мы говорим о реальности.

Разрыв формы и содержания самый характерный признак мирового развития computer science, который заметен уже начиная с аналитической машины Чарльза Беббиджа, универсального вычислителя Тьюринга, принципов и архитектуры фон Неймана и других и заканчивая решениями нынешнего времени.

Все известные универсальные вычислители сегодня являются именно вычислителями. Они работают с формой числами. Процесс выполнения операций над числами никак не связан с содержанием, с семантикой. Именно с отрывом формы от содержания (на мой взгляд, конечно: здесь и всюду далее наиболее жесткие аттестации это мое оценочное мнение) связаны все основные проблемы в развитии информационных технологий, базовые принципы которых уже нельзя считать чем-то иным, а не фатальным заблуждением. Мысль не продвинулась дальше больших калькуляторов с хорошими экранами.

Действительно, любая ЭВМ легко вычислит 5 + 6 и даст, на первый взгляд, верный ответ: 11. Но чего 11? Если 5 это яиц, а 6 помидоров, то результат это одна яичница из пяти яиц и шести помидоров, а никак не 11. Да и «одна яичница»  верный ответ лишь в том случае, если 5 яиц и 6 помидоров положили на горячую сковороду. А если в холодильник, то 5 + 6 наутро будет снова 5 + 6.

Числа это только форма. Содержание утеряно, за числами не стоит семантика. Вычисления приходится интерпретировать, а негодяям повлиять на эту интерпретацию очень несложно. Именно ошибочные интерпретации и приводят зачастую к удачным хакерским атакам, подменам смысла и прочим неприятностям.

Ярким примером дихотомии «форма-содержание» является электронная подпись (ЭП). Все о ней слышали, некоторые отчаянные даже попробовали использовать. Что же дает нам электронная подпись? Является средством защиты? Нет. Не может она ничего защитить. Ничто не помешает злоумышленнику исказить подписанный текст. Другое дело, что с использованием ЭП при соблюдении ряда важных условий можно установить, что искажение где-то было. И все.

ЭП элемент формы. Техническая функция контроль неизменности подписанного материала в смысле неизменности формы. Социальная функция фиксация волеизъявления. То есть содержания, семантики.

Такой дуализм понятен: он связан с неразрывностью формы и содержания. С понятиями юридической значимости и юридической силы.

Но даже профессионалы, много лет проработавшие в отрасли, не всегда различают эти понятия.

Возьмем документ на неизвестном нам языке например, на итальянском (неизвестном для меня, как ни стыдно в этом признаться). Он выполнен на бланке. У него есть реквизиты, стоит печать, подпись, дата. Соблюдена форма. И, не понимая содержания, с уверенностью можно утверждать, что документ обладает юридической значимостью. Юридическая значимость связана в первую очередь с формой. Юридическая сила, напротив, определяется содержанием. Мы выполняем законы, хотя нам доступен лишь их текст опубликованный в газете или интернете. Редко и не всем удается увидеть закон, подписанный собственноручно президентом. Но юридической силы от этого закон не лишается.

Это, конечно, предельные случаи. Безусловно, в реальности мы хотим видеть единство формы и содержания.

Все время своего существования вычислительная техника развивалась по нескольким направлениям, а именно:

ускорение вычислений;

уменьшение размеров;

повышение универсальности.

Человечество всего этого добилось. Мощность современного смартфона выше совокупной мощности всех ЭВМ в мире в 60-х годах прошлого столетия. А ведь тогда уже были мэйнфреймы IBM. Универсальность выросла настолько, что бухгалтер и дизайнер используют одинаковые компьютеры с одинаковыми офисными пакетами, а программистами в быту стали называть людей, способных освоить хотя бы одну сложную программу, например, фотошоп.

Любой компьютер это реализация (более или менее близкая) идеи «машины Тьюринга». Понятия «машина Тьюринга» и «алгоритм», «вычислимость» неразрывно связаны, определяются одно через другое. Само существование абстрактного «исполнителя», такого как машина Тьюринга, вселяет уверенность во всемогуществе человека. Действительно, любая (точнее, рекурсивная, что и есть практически любая) задача может быть решена, если достаточно ресурсов (памяти и времени). Возможно, завораживающая простота формулировок и спровоцировала разработку универсальных вычислительных машин (УМ; средств вычислительной техники, СВТ; персональных ЭВМ, ПЭВМ), которые частично (с конечной памятью) моделируют машину Тьюринга, давая нам «псевдонеограниченные» возможности и толкая на экстенсивный путь развития. Не хватает памяти? Не проблема добавим. Не хватает времени? Увеличим тактовую частоту, количество ядер, виртуализируем ресурсы, наконец.

Эта позиция многие годы «паровозом» тащила за собой развитие информационных технологий. Емкость обычных локальных дисков, например, за два десятилетия выросла от десятков килобайт до сотен гигабайт, и сейчас уже измеряется терабайтами, а памяти так и не хватает. Тактовые частоты от килогерц достигли гигагерц, а производительности не хватает. Зато индустрия ИТ стала едва ли не определяющей современный уровень экономического развития. Гигантские суммы инвестиций плата за технический прогресс и универсальность решений.

Универсальность (в смысле «вычислимости», без учета семантики) опасна и снижением защищенности. Действительно, если УМ выполняет любые программы, то, очевидно, она выполнит и вредоносную программу. Несмотря (!) на любой набор антивирусных программ. Действуя в рамках пусть универсальной, но одной формальной модели, мы неизбежно натолкнемся на ее неполноту в полном соответствии с теоремой Геделя о неполноте.