The Mathematisation as the Process of Birthing and Clarifying Concepts
In this paper we consider a problem of concept mathematization. An evolution of mathematical concepts is studied in paper [1], where it stated, that scientific growth is very closely related to evolution of concepts of corresponding field. We try to research an initial step in this field: an appearance of mathematical concept. As examples of such concepts we take concepts of various theoretical and applied fields of science: probability theory («probability»), formal logic («concept», «intent», «extent»), distributed computing («consistency», «availability», «partitioning»). Prerequisites of needs of formalization are studied, formalization itself is briefly described, consequences of formalization are listed. In conclusion, we give a list of possible reasons why even a successful mathematization does not solve problems with original concept and why it is even not accepted by scientific and techical communities. The reasons range from«features» of particular communities to properties of the concept itself.