|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Матиясевич Ю.В. — Десятая проблема Гильберта |
|
|
|
| Предметный указатель |
Адлеман 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
|
|
|
| Реклама |
|
|
|
|
|
О проекте