ALGORITHMIZATION AS A CLASSICAL FORM OF MATHEMATICAL KNOWLEDGE MINIMIZATION

Abstract

The article provides the analysis of algorithmization as one of the forms of formalization used as a logical and epistemological means to construct abstract mathematical objects in terms of classical rationality. Mathematical theorized knowledge is considered in the article as an object of consolidation and minimization principles application for dialectical and methodological analysis of its form and content. Algorithmization is presented as a form of mathematical knowledge minimization in the process of its consolidation.

Keywords

• уплотнение научного знания
• аккумуляция
• минимизация формы знания
• формализация
• алгоритмизация
• алгоритм
• аксиоматизация