Viktoria Kondratenko¹ and Leonid Slovianov², ¹University of Edinburgh, UK, ²Centre of Innovative Medical Technologies of the National Academy of Sciences of Ukraine, Ukraine

The report discusses the possibility of creating a universal mathematical formalization tool for the formalized solution of intellectual problems of cognition of both real processes and phenomena of the surrounding world and man-made processes. A path based solely on the tools of classical mathematics is proposed - the methodology of axiomatic modelling. At the same time, the problems that prevent obtaining an effective true solution to these problems by the proposed means today are described in order to eliminate them. The report is devoted to this topic. The proposed methodology is capable of carrying out semantic data analysis and solving intellectual problems, complementing the existing most modern methods of computer science with semantic accuracy, practical or experimental verification and formal proof of statements.

Formalization, Axiomatic Modelling, Intellectual Analysis, Computer Science, Intellectual Task