Tài liệu tham khảo cho định lý bất toàn đầu tiên của Gôdel dựa trên tính không ổn định của vấn đề tạm dừng là gì?

Một dạng yếu hơn của Định lý bất toàn đầu tiên của Gôdel, bằng chứng trực tiếp về cách thức của Gôdel dài, liên quan và ở một nơi nào đó khá phản trực giác, có bằng chứng đơn giản và trực quan dựa trên tính không ổn định của vấn đề tạm dừng - xem ví dụ https: / /en.wikipedia.org/wiki/Halting_probols#Sketch_of_proof

Ai là người đầu tiên đề xuất bằng chứng này và trong bài báo hoặc cuốn sách nào đã được xuất bản lần đầu tiên?

Tôi tin rằng một số phiên bản của kết nối này có thể được gắn lại với bài báo chuyên đề của Turing về khả năng tính toán .

Cụ thể, Turing đưa ra hai tuyên bố sau:

1. "Kết quả của Phần 8 có một số ứng dụng quan trọng. Đặc biệt, chúng có thể được sử dụng để chỉ ra rằng Hilbert Entscheidungsprobols có thể không có giải pháp."
2. $U$$U$$\neg U$

Kết luận, tôi tin, theo sau từ Modus Tollens.