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

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

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


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Академии наук СССР. Серия математическая, 1971, том 35, выпуск 1, страницы 3–30 (Mi im1910)  
Эта публикация цитируется в 23 научных статьях (всего в 24 статьях)

Диофантово представление перечислимых предикатов

Ю. В. Матиясевич
PDF полного текста (2150 kB) PDF английской версии (1006 kB) Список цитирования (24)
Список литературы:
PDF
HTML
Аннотация: Приведен пример диофантова отношения, имеющего экспоненциальный рост. Вместе с известными результатами Мартина Дейвиса, Хилари Патнама и Джулии Робинсон это дает доказательство теоремы о том, что каждый перечислимый предикат является диофантовым. Из этой теоремы следует, что 10-я проблема Гильберта является алгорифмически неразрешимой.
Поступило в редакцию: 17.09.1970
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1971, Volume 5, Issue 1, Pages 1–28
DOI: https://doi.org/10.1070/IM1971v005n01ABEH001004
Реферативные базы данных:
УДК: 511
MSC: 02E10, 10B99, 10N05
Образец цитирования: Ю. В. Матиясевич, “Диофантово представление перечислимых предикатов”, Изв. АН СССР. Сер. матем., 35:1 (1971), 3–30; Math. USSR-Izv., 5:1 (1971), 1–28
Цитирование в формате AMSBIB
\RBibitem{Mat71}
\by Ю.~В.~Матиясевич
\paper Диофантово представление перечислимых предикатов
\jour Изв. АН СССР. Сер. матем.
\yr 1971
\vol 35
\issue 1
\pages 3--30
\mathnet{http://mi.mathnet.ru/im1910}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1990738}
\zmath{https://zbmath.org/?q=an:0219.02035}
\transl
\jour Math. USSR-Izv.
\yr 1971
\vol 5
\issue 1
\pages 1--28
\crossref{https://doi.org/10.1070/IM1971v005n01ABEH001004}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1910
  • https://www.mathnet.ru/rus/im/v35/i1/p3
    • Эта публикация цитируется в следующих 24 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:856
    PDF русской версии:445
    PDF английской версии:24
    Список литературы:55
    Первая страница:3
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024