×
Axiomatic Methodology of Formalization as a Way to Intellectual Analysis in Computer Science

Authors

ViktoriaKondratenko1 and LeonidSlovianov2, 1University of Edinburgh, UK, 2Centre of Innovative Medical Technologies of the National Academy of Sciences of Ukraine, Ukraine

Abstract

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.

Keywords

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