|
Записки научных семинаров ПОМИ, 1995, том 220, страницы 83–92
(Mi znsl4282)
|
|
|
|
Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности
Ю. В. Матиясевич С.-Петербургское отделение Математического института им. В. А. Стеклова РАН
Аннотация:
М. Дейвис доказал в начале 50-х годов, что каждое рекурсивно перечислимое множество имеет арифметическое представление с единственным ограниченным квантором общности, получившее название нормальной формы Дейвиса. В 1961 году М. Дейвис, X. Патнам и Дж. Робинсон показали, что нормальная форма Дейвиса может быть преобразована в чисто экзистенциальное экспоненциально диофантово представление, в котором наряду со сложением и умножением допускается использование возведения в степень. Устранение возведения в степень, достигнутое автором в 1970 году, дало отрицательное решение 10-й проблемы Гильберта.
В работе предложен новый способ преобразования нормальной формы Дейвиса в экспоненциально диофантово представление. Библ. – 12 назв.
Поступило: 19.12.1994
Образец цитирования:
Ю. В. Матиясевич, “Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности”, Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ПОМИ, СПб., 1995, 83–92; J. Math. Sci. (New York), 87:1 (1997), 3228–3233
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl4282 https://www.mathnet.ru/rus/znsl/v220/p83
|
Статистика просмотров: |
Страница аннотации: | 267 | PDF полного текста: | 105 |
|