RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Тр. МИАН СССР, 1973, том 129, страницы 203–266 (Mi tm3174)  

Эта публикация цитируется в 3 научных статьях (всего в 5 статьях)

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

Н. А. Шанин


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

Полный текст: PDF файл (9111 kB)

Англоязычная версия:
Proceedings of the Steklov Institute of Mathematics, 1973, 129, 209–271

Реферативные базы данных:
Тип публикации: Статья
УДК: 51.01

Образец цитирования: Н. А. Шанин, “Об иерархии способов понимания суждений в конструктивной математике”, Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, 1973, 203–266; Proc. Steklov Inst. Math., 129 (1973), 209–271

Цитирование в формате AMSBIB
\RBibitem{Sha73}
\by Н.~А.~Шанин
\paper Об иерархии способов понимания суждений в~конструктивной математике
\inbook Проблемы конструктивного направления в математике.~6
\serial Тр. МИАН СССР
\yr 1973
\vol 129
\pages 203--266
\mathnet{http://mi.mathnet.ru/tm3174}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0536668}
\zmath{https://zbmath.org/?q=an:0312.02028}
\transl
\jour Proc. Steklov Inst. Math.
\yr 1973
\vol 129
\pages 209--271


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/tm3174
  • http://mi.mathnet.ru/rus/tm/v129/p203

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию со дня рождения)”, УМН, 35:2(212) (1980), 241–245  mathnet  mathscinet  zmath  adsnasa; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282  crossref  isi
    2. И. Д. Заславский, “Формальные аксиоматические теории на основе трехзначной логики”, Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ПОМИ, СПб., 2003, 19–74  mathnet  mathscinet  zmath; I. D. Zaslavsky, “Formal axiomatic theories on the base of three-valued logic”, J. Math. Sci. (N. Y.), 130:2 (2005), 4578–4597  crossref
    3. И. Д. Заславский, “Нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 130–152  mathnet  elib; I. D. Zaslavsky, “Fuzzy constructive logic”, J. Math. Sci. (N. Y.), 158:5 (2009), 677–688  crossref
    4. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176  mathnet  crossref  mathscinet  adsnasa  elib; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767  crossref  isi  elib
    5. А. П. Бельтюков, “Интерактивные реализации логических формул”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 26:2 (2016), 177–193  mathnet  crossref  mathscinet  elib
  • Труды Математического института им. В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
    Просмотров:
    Эта страница:198
    Полный текст:123
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020