Матиясевич Ю.В. - Десятая проблема Гильберта :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/4427
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 03:27:53 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Матиясевич Ю.В. - Десятая проблема Гильберта

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Десятая проблема Гильберта

Автор: Матиясевич Ю.В.

Аннотация:

Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого
техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.

Язык:

Рубрика: Математика/Теория чисел/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1993

Количество страниц: 224

Добавлена в каталог: 05.06.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Адлеман      149 194 204
Адлер      138 163 178 191 193 194
Азра      4 194
Айвазян, С.В.      178 194
Алфавит машины Тьюринга      66
Амин      185 194
Аник      178 194
Бакстер      178 194
Бартон      163 195
Баур      178 195
Бейкер      119 195
Бек      179 195
Белл      4 195
Бернулли      48
Блюм      192 195
Бокуть, Л.А.      178 195
Больман      186 195
Бриттон      21 195
Вада      51 195 200
Важенин, Ю.М.      178 196
Валиев, М.К.      178 196
Ванг, П.      163 196
Виноградов, А.К.      149 196
Вольстенхольм      49 196
Вьенс      51 200
Гайфман      178 196
Гедель      3 49 92 97 115 196
Германо      178 196
Гермес      4 197
Гжегорчик      149
Гильберт      3-5 7-11 13 20 21 34 38 49 50 60 63-65 83 85 86 89 91 93 106 107 111 115-117 126 127 133 135 137 138 147 153 154 158 163 174 178 186 197
Гипотеза Гольдбаха      107
Гипотеза Девиса      91
Гипотеза Римана      107
Гольдбах      107
Гольдфарб      178 197
Граница универсальная количества операций      141
Граница универсальная порядка      140
Граница универсальная ранга      140
Граница универсальная ранга экспоненциального      142
Граница универсальная сложности      140
Гуаспари      178 197
Губер-Дайсон      178 197 198
Гудстейн      179 197
Гурари      179 197
Гэри      147 197
Дайзель      100
Дайсон      178 197 198
Данько      179 198
Девис      4 21 36-38 50 63 64 91 92 115 116 138 146 148 178 186 190-192 198 199 202
Денеф      137 138 163 191 199
Джозеф      178 199
Джонс, А.Дж.      185 202
Джонс, Дж.П.      51 63 92 148 177 178 187 189 190 192 193 198-200
Джонсон      147 197
Дзета-функция Римана      107
Димитракопулос      178 201 207
Диофант      8 9 21 133 200
Дирихле      38 114 191
Длина позиционного кода кортежа      42
Дошен      4 206
Дурнев, В.Г.      178 179 200
Евклид      87
Ерослов      179 200
Закон простых чисел      108
Захаров, Д.А.      4 201
Зигель      21 201
Зикман      178 201
Зингер      163 178 201
Ибарра      179 193 201
Игра диофантова      164
Изображение кортежа      69
Изображение кортежа двоичное      89
Изображение кортежа каноническое      69
Изображение числа      69
Изображение числа двоичное      89
Иида      115 191 212
Инструкция машины регистровой      89
Инструкция машины Тьюринга      66
Инструкция машины шахматной      169
Кавинес      163 201
Кай      178 201
Кантор      39 64
Капланский      4 201
Карстенс      178 202
Касами      179 202
Кент      149 202 212
Клаузен      187
Клейман, Ю.Г.      178 202
Код конфигурации      78
Код кортежа геделев      41
Код кортежа множества      52
Код кортежа позиционный      42
Код полинома      55
Код уравнения      59
Код уравнения без параметров      59
Код уравнения расширенный      54 56
Коды эквивалентные      44
Количество операций относительное      141
Колмогоров, А.Н.      91 202
Конвей      185 202
Конкатенация      42
Конфигурация      78
Кораблева, Н.Б.      179 200
Кортеж      39
Кортеж пустой      41
Кортеж характеристический      46
Косовский, Н.К.      37 38 149 178 186 189 196 202
Кочен      37
Крайзель      63 115 116 202
Кряучюкас, В.Ю.      51 202
Куммер      45 49 50 102 122 182 202
Лагранж      180 203
Ламбек      92 203
Лаплаза      186 195
Левиц      148 200 203
Лейнингер      179 193 201
Ли      179
Линдон      178 203
Липшиц      137 138 163 178 191 199 203
Лью      186 203
Майхил      21 203
Макалун      178 203
Макгетрик      163 203
Макинтайр      178 204
Мальцев, А.И.      91 201 204
Манас      179 204
Мандерс      149 194 204
Маневиц      178 204
Манин, Ю.И.      4 204
Маргенштерн      4 204
Маркович      4 206
Мартин-Леф      162 204
Маслов, С.Ю.      91 204
Матиясевич, Ю.В.      4 21 37 38 50 51 63 92 93 115 138 148 186-192 198 200 205 206
Маховер      4 195
Машина диофантова      148
Машина регистровая      89
Машина Тьюринга      65
Машина Тьюринга недетерминированная      149
Машина шахматная      169
Мельзак      92 206
Мерсенн      51
Миллер      178 206
Минский      92 206
Минц, Г.Е.      178 206
Мияйлович      4 206
Множество (A.C.X)-диофантово      127
Множество (A.C.X)-диофантово универсальное      52
Множество двоично полуразрешимое по Тьюрингу      89

Множество диофантово      13
Множество достижимости      167
Множество полуразрешимое в интуитивном смысле      87
Множество полуразрешимое на регистровой машине      90
Множество полуразрешимое по Тьюрингу      77
Множество простое      113
Множество разрешимое в интуитивном смысле      87
Множество разрешимое по Тьюрингу      84
Множество трассирующее      165
Мозес      163 206
Мясников, А.Г.      178 206
Неизвестная      12
Нильсен      188 206
Номер кортежа канторов      39
Номер уравнения      112
Нуль дзета-функции нетривиальный      108
Нуль дзета-функции тривиальный      108
Основание позиционного кода кортежа      42
Отношение грубо экспоненциального роста      35
Отношение диофантово      15
Отношение достижимости      167
Отношение экспоненциального роста      35
Оценка неэффективная      119
Папас      163 207
Параметр      12
Параметр-код      52
Параметр-элемент      52
Парис      178 201 207
Патнам      21 50 63 92 115 138 187 190 199 202 207
Пелль      35 184 186
Пензин, Ю.Г.      163 207
Петри      178
Пнуели      179 211
Порядок множества      139
Порядок множества относительный      139 141
Последовательность полиномов универсальная      111
Пост      90 116 207
Предикат Джулии Робинсон      36
Представление диофантово множества      13
Представление диофантово отношения      15
Представление диофантово, свойства      15
Представление диофантово, функции      16
Представление однократное      120
Представление экспоненциально диофантово, множества      33
Представление экспоненциально диофантово, отношения      33
Представление экспоненциально диофантово, свойства      33
Представление экспоненциально диофантово, функции      33
Принцип Дирихле, мультипликативная форма      114
Проблема индивидуальная      8
Проблема массовая      8
Рабин      177 178 207
Размерность множества      13
Ранг множества      139
Ранг множества относительный      139 141
Ранг множества экспоненциальный      142
Ранг множества экспоненциальный относительный      142
Реализация последовательности полиномов      112
Регистр машины регистровой      89
Регистр машины шахматной      169
Регистр машины шахматной входной      170
Регистр машины шахматной выходной      170
Ремесленников, В.Н.      178 206 207
Репин, Н.Н.      178 207
Решение тривиальное однородного уравнения      133
Рид      21 137 207
Риман      107-111 115 116
Ричардсон      163 207
Робинсон, А.      178 208
Робинсон, Дж.      21 36 37 38 50 63 92 115 116 148 178 185-187 190-192 198 199 202 206 208
Робинсон, Р.М.      138 148 191 192 208
Розенберг      186 203
Розенблат, Б.В.      178 208
Романьков, В.А.      178 208
Румли      137 209
Руохонен      4 38 209
Сабо      178 201
Саломаа      4 209
Сапир, М.В.      178 209
Сато      51 200
Свойство диофантово      15
Свойство полиномиальное      115
Семейство диофантовых уравнений      12
Семенов, А.Л.      90 211
Симмонс      178 204
Скарпеллини      163 209
Скулем      21 209
Смориньский      4 138 191 209
Состояние машины Тьюринга      66
Состояние машины Тьюринга заключительное      66
Состояние машины Тьюринга начальное      66
Состояние машины шахматной      169
Состояние машины шахматной заключительное      170
Состояние машины шахматной начальное      170
Стави      179 211
Степень уравнения относительно всех неизвестных      7
Степень уравнения относительно всех переменных      13
Степень уравнения относительно данной неизвестной      7
Стетмен      179 209
Стергис      92 213
Сусман      4 210
Такахаши      4 210
Тарасов, С.П.      179 210
Тарский      21 36 153 185
Тезис Тьюринга      91
Тезис Черча      88
Теорема арифметики основная      49
Терм диофантов      16
Тождество Эйлера      107 180
Токура      179 202
Тунг      148 210
Туракайнен      179 210
Туэ      119
Тьюринг      3 63 65 67-69 76-80 83-94 115 117 120-123 149 150 162 169 189-191 210
Уилер      179 212
Уилки      148 178 200 210
Уилмерс      178 210
Уравнение диофантово      7
Уравнение диофантово параметрическое      12
Уравнение диофантово тригонометрическое      20
Уравнение Пелля      184
Уравнение универсальное      52
Уравнение экспоненциально диофантово      33
Уравнение экспоненциально диофантово унарное      34
Уравнение экспоненциально диофантово унарное с фиксированным основанием      34
Уровень итерированности множества      142
Уровень итерированности множества относительный      142
Уровень итерированности уравнения      142
Успенский, В.А.      90 91 207 210 211
Фейдас      137 138 211
Фенстад      4 37 211
Ферма      34 38 51 106
Фибоначчи      37
Фич      163 195 211
Форма нормальная Девиса      91
Фридрихсдорф      178 211
Функция диофантова      16
Функция тестирующая      141
Функция Чебышева      108
Функция, вычислимая по Тьюрингу      89
Хавел, Д.      179 211
Хавел, И.      4 211
Харлампович, О.Г.      178 209 211
Хачиян, Л.Г.      179 210
Хек      178 179 211
Херман      37 212
Хетчер      178 212
Хиросе      4 115 191 212
Хиршфельд      179 212
Ходжсон      149 179 202 212
Чебышев, П.Л.      108

1 2

О проекте