Phiên bản ngắn: Đầu ra của các máy không đúng hoặc không chính xác, chúng chỉ trái ngược nhau, điều này chứng tỏ rằng máy ban đầu quyết định xem máy đầu vào có dừng trên chuỗi đã cho hay không tồn tại.
Phiên bản dài : Đầu tiên chúng ta sẽ phác thảo bằng chứng (hoặc ít nhất một phiên bản của nó - có rất nhiều).
- Giả sử rằng chúng ta có một Turing Machine mà quyết định xem máy Turing M tạm dừng trên đầu vào x hay không.HALT(⟨M⟩,x)Mx
- Sử dụng chúng ta xây dựng một máy F L Tôi P ( ⟨ M ⟩ , x ) trong đó sử dụng H Một L T để kiểm tra xem M tạm dừng trên x hay không, sau đó làm ngược lại, tức là nếu M tạm dừng trên x , F L I P vòng, nếu M không dừng trên x , F L I P dừng lại.HALTFLIP(⟨M⟩,x)HALTMxMxFLIPMxF L I P
- Cuối cùng chúng ta hãy tạo một TM (Tôi chạy ra khỏi tên tốt), trong đó có mô tả của một TM và chạy F L Tôi P với đầu vào ( ⟨ M ⟩ , ⟨ M ⟩ ) , xuất ra bất cứ điều gì F L tôi Đầu ra P.C (⟨M⟩ )F L I P( ⟨ M⟩ , ⟨ M⟩ )F L I P
Điều quan trọng cần lưu ý là miễn là người quyết định tồn tại, mỗi bước này đều đơn giản để thực hiện; F L Tôi P chỉ cần có để sử dụng H Một L T để kiểm tra phải làm gì, và C chỉ là bản sao đầu vào của nó để vượt qua để F L Tôi P .H A L TF L I PH A L TCF L I P
Mâu thuẫn nảy sinh khi chúng ta nhìn vào những gì sẽ xảy ra khi chúng tôi chạy . Hoặc C dừng lại khi được cho là đầu vào hoặc không. H A L T sẽ quyết định điều này:C (⟨ C ⟩)CH A L T
- Nếu tạm dừng trên đầu vào ⟨ C ⟩ , H Một L T sẽ nói Y e s , nhưng sau đó F L Tôi P sẽ lặp, vì vậy C sẽ lặp, mâu thuẫn H Một L T .C⟨ C ⟩H A L TY e sF L I PCH A L T
- Nếu vòng trên đầu vào ⟨ C ⟩ , H Một L T sẽ nói N o , nhưng sau đó F L Tôi P sẽ tạm dừng, vì vậy C cũng sẽ dừng lại, mâu thuẫn H Một L T .C⟨ C ⟩H A L TN oF L I PCH A L T
Vì mỗi bước trong quá trình xây dựng đều rõ ràng, chúng tôi chỉ có thể kết luận rằng không thể tồn tại; chúng tôi đã xây dựng một trường hợp mà không có vấn đề gì, H A L T không thể quyết định đầu ra là gì, tức là vấn đề không thể giải quyết được. Chỉ cần thực sự nhấn mạnh vào vấn đề một chút, H A L T không thể tồn tại - đó là không thể có một TM quyết định vấn đề dừng - bởi vì có ít nhất một trường hợp chúng tôi đã xây dựng rõ ràng khi không có logic câu trả lời có thể Hãy nhớ rằng một người quyết định không được phép đưa ra câu trả lời sai và phải đưa ra một cái gì đó, nhưng trong trường hợp chúng tôi đã xây dựng, cả hai câu trả lời có thể đều sai.H A L TH A L TH A L T