The paper shows meta-mathematical prerequisites for basic concepts of rigorous science called mathematics. These concepts explore a very simple idea concerning the hypothesis that all surrounding physical processes are basically algorithmic processes -as understandable as well as partially or fully incomprehensible ones. Mathematics is very successful in studying, formal describing and utilizing of such processes, because mathematics is based on similar algorithmic ideas, methods, and structures. These facts allow us to formulate more precisely useful mathematical (meta-scientific) concepts concerning some well-known scientific problems in various rigorous theories, including the theory of "object calculus", the theory of automatic cognition, the theory of biological evolution, the theory of heterogeneous electronic systems, the theory of logics in various chemical transformations, the basic architecture of completely programmable universal (multi-purpose) synthesizers-analyzers for various objects, and so on.
The paper deals with basic prerequisites for axiomatic of rigorous scientific metaphysics, which continues Aristotle's ideas concerning science explaining furniture of the world. Such rigorous metaphysics could explain many global or local properties of various physical systems like proved mathematical theorems explain global and local properties of mathematical objects.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.