Вопросы с тегом «computability»

Я ищу доказательство того, что колмогоровская сложность невычислима, используя редукцию из другой невычислимой задачи. Общим доказательством является скорее формализация парадокса Берри, чем сокращение, но должно быть доказательство путем сокращения из чего-то вроде проблемы остановки или проблемы...

Примитивно-рекурсивные функции определены над натуральными числами. Однако кажется, что концепция должна обобщаться на другие типы данных, что позволяет говорить о примитивных рекурсивных функциях, которые, например, отображают списки в двоичные деревья. По аналогии, частично рекурсивные функции...