괴델 썸네일형 리스트형 괴델의 불완전성의 정리 먼저 컴퓨터에 대해 이야기하기 전에 컴퓨터가 할수있는 일. 즉 계산 가능성에 대해 알아야 한다. 이 계산 가능성에 대해선 괴델의 불완전성의 정리에서 잘 나와있다. 읽다보면 알겠지만 힐베르트의 완전성 증명에 대해 괴델의 불완전성 정리가 이를 답변하고 이에 처치 튜링이 계산가능한 것에 대한 이론을 발표함으로서 컴퓨터의 기초가 완성되게 되었다. 먼저 불완전성의 정리에 대해.. Wikipedia : Gödel's incompleteness theorems : 수리논리학에서 불완전성정리는 1930 년에 Kurt Gödel 이 증명하여 두차례에 걸쳐 발표되었다. 단순화 시키면, 첫 번째인 제 1 불완전성 정리는 다음과 같다. 기초적인 산술을 충분히 강력하게 허용하는 어떤 무모순의 수학 형식 시스템에서도, 그 시스템.. 더보기 이전 1 다음
