МАТЕМАТИЗАЦИЯ КАК ПРОЦЕСС РОЖДЕНИЯ И УТОЧНЕНИЯ ПОНЯТИЙ
В настоящей работе рассматривается вопрос о математизации (в частности, математической формализации) понятий. В качестве примеров математизируемых понятий взяты понятия из таких разных теоретических и прикладных областей, как теория вероятностей («вероятность»), формальная логика («понятие», «содержание», «объем»), распределенные вычисления («согласованность», «доступность», «устойчивость к разделению»). Изучаются предпосылки, повлекшие за собой необходимость формализации, кратко описана содержательная часть формализации, представлены последствия проведенной формализации. В заключение перечисляются возможные причины того, почему даже успешно (в определенном смысле этого слова) проведенная математизация не закрывает проблем, связанных с исходным понятием, и может даже не приниматься научным и техническим сообществами.