Undecidable problems

Вики

Неразрешимая проблема

/

Неразрешимая проблема Неразрешимые задачи в теории вычислимости Неразрешимая задача — это задача принятия решения, для которой невозможно построить алгоритм, всегда […]

Вики

Неразрешимая проблема

/

Неразрешимая проблема Теорема Геделя о неполноте Теорема утверждает, что в любой формальной системе, достаточно мощной для арифметики, существуют утверждения, которые

Вики

Проблема с почтовой перепиской

/

Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) – это задача, в которой требуется

Вики

Список неразрешимых проблем

/

Список неразрешимых проблем Определение неразрешимых задач Неразрешимая задача – это проблема, для которой не существует алгоритма, который всегда давал бы

Вики

RE (сложность)

/

RE (сложность) Определение и свойства класса RE Класс RE включает задачи, которые могут быть решены машиной Тьюринга за конечное время. 

Вики

Проблема принятия решения

/

Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений – это вопрос о том, является ли формула первого порядка

Вики

Проблема группового изоморфизма

/

Проблема группового изоморфизма Определение изоморфизма групп Задача группового изоморфизма заключается в определении изоморфности двух представлений конечных групп.  Фундаментальные проблемы теории

Вики

Постоянная проблема

/

Постоянная проблема Проблема определения равенства выражения нулю является общей проблемой в трансцендентной теории чисел.  Доказательства в теории трансцендентности часто основаны

Вики

Неразрешимая проблема

/

Неразрешимая проблема Неразрешимые проблемы связаны с различными темами, такими как логика, абстрактные машины или топология.  Существует бесчисленное множество неразрешимых проблем,

Вики

Проблема остановки

/

Проблема с остановкой Проблема остановки – вопрос о том, может ли машина Тьюринга определить, остановится ли алгоритм.  Доказательство Тьюринга показывает,

Прокрутить вверх