В статье Георгием Борисовичем рассматриваются актуальные проблемы развития методологии экономико-математического и информационно-компьютерного моделирования экономических процессов и систем. Построение модели включается в широкий круг исследования онтологических, гносеологических, идеологических и праксеологических систем. Выдвигается и акцентируется проблема согласования
сложности объекта, аппарата и результата моделирования. Формулируется концепция доказательного
моделирования как процесса построения и интерпретации математической модели, обеспечивающего
надежность и безопасность ее применения. Приводятся принципы доказательного моделирования.