|
Записки научных семинаров ЛОМИ, 1976, том 60, страницы 75–92
(Mi znsl2072)
|
|
|
|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю. В. Матиясевич
Аннотация:
Приведено основанное на новых идеях доказательство известной теоремы Дейвиса–Патнама–Робинсон о существовании у каждого перечислимого предиката экспоненциального диофантова представления. Исходным является задание перечислимого предиката с помощью машины Тьюринга, арифметизация работы которой дает сразу чисто экзистенциальную формулу. Новое доказательство может оказаться более удобным для изложения в курсе теории алгорифмов, ибо оно использует меньше сведений из теории чисел. Библ. 23 назв.
Образец цитирования:
Ю. В. Матиясевич, “Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 75–92; J. Soviet Math., 14:5 (1980), 1475–1486
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2072 https://www.mathnet.ru/rus/znsl/v60/p75
|
Статистика просмотров: |
Страница аннотации: | 615 | PDF полного текста: | 252 |
|