如何辯稱如果我們能夠解決停頓問題，那么我們就能解決繁忙的海狸？

Question

這是我的任務之一。 我有一個圖靈機模擬程序，可以模擬繁忙的海狸功能 。 我已經完成了一些有關證明此問題的研究，但仍然不了解，所以我想也許您可以在這里幫助我。 對於我來說，一個很好的參考資料或如何爭論的例子將是很好的。

Answer 1

BB功能定義為特定尺寸的圖靈機可以執行並仍然停止的最大步數。 （另一種說法是，所有大小為x的圖靈機要么停止運行的時間少於BB（x）步，要么永遠運行）。

假設您有一台復雜度為x的圖靈機，那么您可以通過讓它運行BB（x）時間步長來確定它是否將停止運行-如果到那時它尚未停止，那么從定義上講它永遠不會停止。

同樣，如果您可以解決暫停問題，則可以評估所有可能的x大小的圖靈機，消除那些不暫停的圖靈機，並將BB（x）設為其余部分的最大運行時間。

當然，BB（x）是不可計算的-實際上增長得比您可以命名的任何可能的可計算函數都要快-因此甚至無法近似。

Answer 2

你可以找到你所尋求的證明這里 ，該忙海狸問題是不可計算的證明之下。