Алгоритмическая разрешимость: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
AVB (обсуждение | вклад) м исправление ссылка |
Уинстон (обсуждение | вклад) Нет описания правки |
||
Строка 5:
Понятия алгоритма и аксиоматической системы имеют давнюю историю. И то и другое известно ещё со времён [[античность|античности]]. Достаточно вспомнить [[Евклидова геометрия|постулаты геометрии]] [[Евклид]]а и [[алгоритм Евклида|алгоритм нахождения наибольшего общего делителя]] того же Евклида. Несмотря на это, чёткого математического определения исчисления и особенно алгоритма не существовало очень долгое время. Особенность проблемы, связанной с формальным определением неразрешимости состояла в том, что для того, чтобы показать, что некоторый алгоритм существует, достаточно его просто найти и продемонстрировать. Если же алгоритм не находится, возможно его не существует и это тогда требуется строго доказать. А для этого нужно точно знать, что такое алгоритм.
Большой прогресс в формализации этих понятий был достигнут в начале [[XX
Когда понятия исчисления и алгоритма были уточнены, последовал ряд результатов о неразрешимости различных теорий. Одним из первых таких результатов была теорема, доказанная [[Новиков, Пётр Сергеевич|Новиковым]], о неразрешимости [[проблема слов|проблемы слов]] в [[группа]]х. Разрешимые же теории были известны задолго до этого.
|