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

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

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



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






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


Математический сборник, 2015, том 206, номер 9, страницы 3–20
DOI: https://doi.org/10.4213/sm8519
(Mi sm8519)
 

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

О некоторых медленно сходящихся системах преобразований термов

Л. Д. Беклемишевa, А. А. Оноприенкоb

a Математический институт им. В. А. Стеклова Российской академии наук, г. Москва
b Механико-математический факультет, Московский государственный университет имени М. В. Ломоносова
Список литературы:
Аннотация: Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано $\mathsf{PA}$. Тем самым, утверждение о сходимости таких систем не доказуемо в $\mathsf{PA}$. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, введенной Дж. Парисом и Л. Кирби.
Библиография: 16 названий.
Ключевые слова: системы преобразований термов, арифметика Пеано, принцип червя.
Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00005
Исследование Л. Д. Беклемишева выполнено за счет гранта Российского научного фонда (проект № 14-50-00005) в Математическом институте им. В. А. Стеклова Российской академии наук. Параграфы 1–5 выполнены Л. Д. Беклемишевым, а § 6 – совместно Л. Д. Беклемишевым и А. А. Оноприенко.
Поступила в редакцию: 25.03.2015 и 21.06.2015
Англоязычная версия:
Sbornik: Mathematics, 2015, Volume 206, Issue 9, Pages 1173–1190
DOI: https://doi.org/10.1070/SM2015v206n09ABEH004493
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.23+510.58
Образец цитирования: Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190
Цитирование в формате AMSBIB
\RBibitem{BekOno15}
\by Л.~Д.~Беклемишев, А.~А.~Оноприенко
\paper О некоторых медленно сходящихся~системах преобразований термов
\jour Матем. сб.
\yr 2015
\vol 206
\issue 9
\pages 3--20
\mathnet{http://mi.mathnet.ru/sm8519}
\crossref{https://doi.org/10.4213/sm8519}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3438593}
\zmath{https://zbmath.org/?q=an:06537974}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2015SbMat.206.1173B}
\elib{https://elibrary.ru/item.asp?id=24073839}
\transl
\by L.~D.~Beklemishev, A.~A.~Onoprienko
\paper On some slowly terminating term rewriting systems
\jour Sb. Math.
\yr 2015
\vol 206
\issue 9
\pages 1173--1190
\crossref{https://doi.org/10.1070/SM2015v206n09ABEH004493}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000366131200001}
\elib{https://elibrary.ru/item.asp?id=24973592}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84947776409}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm8519
  • https://doi.org/10.4213/sm8519
  • https://www.mathnet.ru/rus/sm/v206/i9/p3
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математический сборник Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:734
    PDF русской версии:205
    PDF английской версии:9
    Список литературы:69
    Первая страница:42
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024