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