ЕДИНСТВО МАТЕМАТИКИ

ее целостность, являющаяся результатом комплекса междисциплинарных связей, реализующихся внутри ее самой. Три главных проекта представления Е. м. были связаны с приданием особого статуса соответственно арифметике, теории множеств и теории категорий. Главным энтузиастом первого проекта был знаменитый Д. Гильберт (см.). Он полагал, что, доказав непротиворечивость формальной арифметики финитными методами, можно затем, руководствуясь теорией моделей, установить сходство с нею всех математических дисциплин. Позднее инициатива в собирании всех математических дисциплин воедино было передана теории множеств, концептуальные возможности которой явно превосходят соответствующий потенциал арифметики. В наши дни новые надежды возлагаются на теорию категорий. К сожалению, единство математики не стало предметом тщательных исследований. Отсутствует должная воля к его выяснению. Это обстоятельство существенно затрудняет понимание математики и придает ей сомнительную в научном отношении фрагментарность.