...Эта работа математика и лингвиста В.А.Успенского, ученика А.Н.Колмогорова, брата известного структуралиста Б.А.Успенского, посвященная прояснению для читателей-нематематиков основных понятий «царицы наук», служит задаче преодоления барьеров между гуманитариями и естественниками, показывает, что такие ее фундаментальные построения, как модель или доказательство играют решающую роль в для понимания проблем в самых разных отраслях знания. К философии это имеет прямое отношение. Если не знать, что слова «со времен греков говорить “математика” значит говорить “доказательство”» открывают трактат Н.Бурбаки «Начала математики» (с., их вполне можно отнести по философскому ведомству...