Неразрешимая проблема
Неразрешимая проблема Теорема Геделя о неполноте Теорема утверждает, что в любой формальной системе, достаточно мощной для арифметики, существуют утверждения, которые […]
Вики
Undecidable problems
Вики
Проблема с почтовой перепиской
Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) — это задача, в которой требуется
Вики
Список неразрешимых проблем
Список неразрешимых проблем Определение неразрешимых задач Неразрешимая задача — это проблема, для которой не существует алгоритма, который всегда давал бы
Вики
RE (сложность)
RE (сложность) Определение и свойства класса RE Класс RE включает задачи, которые могут быть решены машиной Тьюринга за конечное время.
Вики
Проблема принятия решения
Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений — это вопрос о том, является ли формула первого порядка
Вики
Проблема группового изоморфизма
Проблема группового изоморфизма Определение изоморфизма групп Задача группового изоморфизма заключается в определении изоморфности двух представлений конечных групп. Фундаментальные проблемы теории
Вики
Словесная задача для групп
Проблема со словом для групп Проблема со словом и ее связь с разрешимостью Проблема со словом — это задача определения,
Вики
Постоянная проблема
Постоянная проблема Проблема определения равенства выражения нулю является общей проблемой в трансцендентной теории чисел. Доказательства в теории трансцендентности часто основаны
Вики
Неразрешимая проблема
Неразрешимая проблема Неразрешимые проблемы связаны с различными темами, такими как логика, абстрактные машины или топология. Существует бесчисленное множество неразрешимых проблем,
Вики
Проблема остановки
Проблема с остановкой Проблема остановки — вопрос о том, может ли машина Тьюринга определить, остановится ли алгоритм. Доказательство Тьюринга показывает,