Вычислимость как стиль математических теорийстатья