|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Манин Ю.И. — Вычислимое и невычислимое |
|
|
|
| Предметный указатель |
Абстрактная вычислительная машина 24
Аксиомы  и  87
Аксиомы Пеано 100
Аксиомы с кванторами 86
Алгоритм 5 11
Алгоритмически неразрешимые задачи 6 22
Алгоритмически разрешаемая проблема 22
Алгоритмы конструктивные 44
Апресян, Ю.Д. 8 9
Арифметическая иерархия 93
Ахо, А. 4
Беккен, С. 103
Блок, М. 121
Богуславский, И.М. 8 9
Бурбаки, Н. 10
Вад, Х. 64
Вайэнс, Д. 64
Валиев, М.К. 103 104
Вандивер 19
Версальные семейства 65
Виферих 19
Вложения в группы с двумя образующими 107
Выражение выводимое 85
Вычислимая частичная функция 17
Вычислимые функции с очень быстрым ростом 99
Гедель 6 12 75 96 97 121
Гильберт, Д. 6 47
Гипотеза Ферма 19
Группа с алгоритмически неразрешимой проблемой тождества слов 103
Д-множества 49
Десятая проблема Гильберта 47
Джоунз, Дж. 64 65
Диофантово пространство 61
Диофантовость перечислимых множеств 112
Длина доказательств 91
Доказуемо вычислимые функции 100
Дэйвис 6
Ершов, А.П. 4
Звонкин, А.К. 70
Иомдин, Л.Л. 8 9
Кантор, Г. 10
Клини 6 25
Козмидиади, В.А. 72 41
Колмогоров, А.Н. 3 4 6 7 8 12 24 68 73
Композиция 20
Конструктивные объекты 44
Коразмерность проекции 30
Криницкий, Н.А. 4
Крысин, Л.П. 8 9
Куммер 19
Лагранж 47
Лазунский, А.В. 8 9
Левин, Л.А. 70
Лейбниц 78
Мальцев, А И. 4
Манин, Ю.И. 5
Марков, А.А. 4 6 24
Мартин, Леф П. 73 74
Маслов, А.Н. 2 91
Матиясевич, Ю.В. 4 6 7 56
Мельчук, И.А. 8 9 12
Многочлены, представляющие простые числа 97
Множества диофантовы 46
Множество перечисляемое 29 37
Множество продуктивное 97
Множество разрешимое 37
Мыцельский 91
Нейманн, Б. 105
Нейманн, К. 105
Неперечислимость истинных формул 88
Неполнота формальной математики 6 87
Новиков 23
Номер решения 57
Нумерация 75
Нумерация Геделя 6 74
| Нумерация множества допустимая 77
Область определения 217
Ограниченные системы образующих 111
Оптимальная система наименований 12
Открытость языка 12
Патяэм 6
Перечислимое множество версальное 42
Перечислимость выводимых формул 85
Перечислимые множества 31
Перцов, Н.В. 8 9
Петер, Р. 24
Петри, В.Н. 72 91
Позиционная система 11
Полувычислимая функция 17
Поплавский, Р.П. 15
Пост 6 24
Постников, М.М. 4
Представление предложения 8
Проблема тождества слов в группах 22
Продуктивность арифметических истин 96
Пэрис 100
Разрешимость диофантовых уравнений 48
Рамсей 7
Рекурсивная геометрия 39
Рекурсивная функция 6 16 25
Рекурсивные группы 101
Робинсон, Дж. 6 56
Роджерс, Х. 4 23
Санников, В. 3 8 9
Сато, Д. 64
Свободные произведения 104
Семейство m-множеств 42
Синтаксис формальных языков 74
Сложность и случайность 65
Сложность по Колмогорову 68
Соединение 21
Тавтологии 86
Тарский 96 97
Тезис Черча 16 20 22
Тезис Черча как эвристический принцип 23
Теорема Геделя 87
Теорема Колмогорова 68
Теорема Матиясевича 6 7
Теорема о диофантовости перечислимых множеств 46 102
Теорема Рамсея 7 100
Теорема Хигмэна 7 102 110
Тьюринг 4 6 24
Ульман, Дж. 4
Универсальный многочлен 64
Уровни представления предложений естественного языка 8
Успенский В.А. 4 24
Ферма, П. 19
Феферман 98
Фибоначчи числа 65
Формальные языки и вычислимость 74
Функции невычислимые 18
Функции полувычислимые 18
Функция Геделя 33
Характеристическая функция подмножества 17
Харрингтон 100
Хигмэн 7 23 102 103 104 105
Хопкрофт, Дж. 4
Хорезми, Мухаммед бен Муса 11 120
Хорошие подгруппы 108
Частичная функция 17
Частично рекурсивное отображение 76
Частично рекурсивные функции 20
Чудновский 56
Шмульян 75
Эквивалентность нумераций 75
Эренфойлт 91
Язык 8
Языки 89
Языки естественные 10 12
«Естественные» рекурсивные группы 103
|
|
|
| Реклама |
|
|
|
|
|
О проекте