Об иерархии способов понимания суждений в конструктивной математике

В статье излагается новый подход к формулированию способов понимания суждений в конструктивной математике, основанный на иерархии методов мажорирования арифметических суждений посредством “непосредственно понятных” суждений определенного типа. Каждому методу мажорирования ставится в соответствие свой способ понимания “сложно устроенных” суждений. Существенную роль в этом подходе играет определенный алгорифм, выявляющий “зашифрованные” в арифметических суждениях формулировки конструктивных задач (этот алгорифм является модификацией ранее предложенного автором алгорифма выявления конструктивной задачи). Технический аппарат строится на основе понятия канонической рекурсивной функции, представляющего собой удобную во многих ситуациях модификацию понятия частично-рекурсивной функции. Библ. – 58 назв.