CPT :  괴델의 작업의 중요성은 무엇입니까?

JYB:    괴델은 현대 논리의 핵심 인물입니다. 그는 일차논리의 완전성 정리와 같은 많은 중요한 정리를 증명했습니다. 그러나 그는 불완전성 정리 혹은 정리들로 특별히 유명합니다. 그 정리에 따르면, 산수를 공리화하고 그것의 일관성을 증명하는 것은 불가능합니다. 한편 타르스키는, 괴델이 그 정리들을 증명하기 전에 비엔나에서 괴델과 토론하면서 이러한 정리들에서 중요한 역할을 했습니다. (자세한 내용은 영어 원문의 링크 참조).

괴델은 자신의 업적을 다음과 같이 논평했습니다. “1678년 라이프니츠는 보편 기호를 주장했다. 본질적으로 보편 기호는 존재하지 않으며, 모든 종류의 문제를 푸는 체계적인 절차는 비-기계적일 수밖에 없다. 나의 불완전성 정리는 마음이 기계적이지 않다는 생각을 그럴듯하게 만든다. (Hao Wang, 2016 영어 원문 링크 참조) 라이프니츠는 괴델이 좋아하는 철학자였습니다. 라이프니츠가 100 % 틀렸다고 생각했기 때문입니다. 100% 옳다는 것은 거의 불가능하며, 때때로 맞고 때때로 틀리는 것은 매우 쉽습니다. 이것이 인간 마음의 일반적인 혼란 상태입니다.

괴델의 첫 번째 불완전성 정리는 종종 부정적인 결과로서 제시되지만, 실제로는 좋은 소식입니다 : 인간 지능은 결코 기계의 인공 지능으로 대체되지 않을 것입니다. 컴퓨터는 확실히 매우 유용하지만 인간의 추론을 대체할 수는 없습니다.