Proof of the theorem. Assume we have a RM H that decides the Halting Problem and derive a contradiction, as follows: C started with R1 = c eventually halts.
確定！ 回上一頁
