bizbuddha

[ 밑줄/연결 ] 1931년 괴델은 '불완전성정리'.. 수학기초론에는 중요한 결점이 있습니다. 논리적으로 완벽한 산술 체계는 존재하지 않는다는 점입니다. 논리학은 추론과 논증의 과정과 방법론을 연구하는 학문이다. 논증이란 어떤 것이 참인지 거짓인지를 기존의 지식에 의거하여 판정하는 과정이다. 명제란 참과 거짓을 판정할 수 있는 '객관성을 갖는 문장'을 말한다. 추론이란 어떠한 명제나 판단을 근거로 삼아 다른 명제나 판단을 이끌어 내는 것을 말한다. 괴델의 정리를 '불완전성 정리' 라고 부르는 이유는 이 정리가 어떤 산술 체계에서도 '완전성'이 성립할 수 없다. 즉, 참인지 아닌지를 증명할 수 없는 명제가 존재한다는 내용을 담고 있기 때문이다. [ 자평 ] 내가 목표 독자가 아닌가 보다. 이걸 왜 읽었는지..