Колмогоровская сложность не вычислима с помощью редукций

Question

Может кто-нибудь, пожалуйста, дайте мне доказательство неразрешимости K-сложности с использованием сокращений.

например:

PCP (2) <= PCP(3)

Я могу доказать, что PCP(3) неразрешима путем сокращения до PCP(2) (путем отображения каждого экземпляра).

Я не уверен, как уменьшить K-сложность до другой известной неразрешимой проблемы (например, проблема остановки). то есть X <= K-сложность

Можете ли вы предоставить мне доказательство этого? По крайней мере, дайте мне некоторую идею (X).

Заранее спасибо