정지 문제의 결정 불가능 성을 기반으로 한 고델의 첫 불완전 성 정리에 대한 참고 자료는 무엇입니까?

Gödel의 첫 번째 불완전 성 정리의 약한 형태, Gödel의 방식으로 길고, 관련이 있으며, 반 직관적 인 장소에서 직접 증거는 정지 문제의 결정 불가능 성을 기반으로 간단하고 직관적 인 증거를 가지고 있습니다-예를 들어 https : / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof

누가이 증거를 처음 제안했으며 어떤 기사 나 책에서 처음 출판 되었습니까?

이 연결의 일부 버전은 계산 가능성에 대한 Turing의 주요 논문 과 연결될 수 있다고 생각합니다 .

즉, Turing은 다음 두 가지 주장을합니다.

1. "섹션 8의 결과에는 몇 가지 중요한 응용 프로그램이 있습니다. 특히 Hilbert Entscheidungs ​​문제가 해결책이 없음을 보여주기 위해 사용할 수 있습니다."
2. "고델이 보여준 것에 대한 부정이 입증 되었다면, 즉 $U$ 어느 한 쪽 $U$ 또는 $\neg U$ "우리는 Entscheidungs ​​문제의 즉각적인 해결책을 가져야합니다."

결론은 Modus Tollens의 결론입니다.