|
Труды ордена Ленина Математического института имени В. А. Стеклова, 1973, том 129, страницы 203–266
(Mi tm3174)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 5 статьях)
Об иерархии способов понимания суждений в конструктивной математике
Н. А. Шанин
Аннотация:
В статье излагается новый подход к формулированию способов понимания суждений
в конструктивной математике, основанный на иерархии методов мажорирования арифметических
суждений посредством “непосредственно понятных” суждений определенного типа.
Каждому методу мажорирования ставится в соответствие свой способ понимания “сложно
устроенных” суждений. Существенную роль в этом подходе играет определенный алгорифм,
выявляющий “зашифрованные” в арифметических суждениях формулировки конструктивных
задач (этот алгорифм является модификацией ранее предложенного автором алгорифма выявления
конструктивной задачи). Технический аппарат строится на основе понятия канонической
рекурсивной функции, представляющего собой удобную во многих ситуациях модификацию
понятия частично-рекурсивной функции. Библ. – 58 назв.
Образец цитирования:
Н. А. Шанин, “Об иерархии способов понимания суждений в конструктивной математике”, Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, 1973, 203–266; Proc. Steklov Inst. Math., 129 (1973), 209–271
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm3174 https://www.mathnet.ru/rus/tm/v129/p203
|
Статистика просмотров: |
Страница аннотации: | 256 | PDF полного текста: | 214 |
|