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