1.2 화이트헤드의 논리주의
1.2.1 Principia Mathematica : 수학이 논리학의 일부에 불과하다는 입장
1.2.2 논리학이나 산술을 포함한 수학을 기술하는 포괄적인 기호체계를 발전시킴
1.2.3 수학 증명에 쓰이는 형식적 추론규칙의 대부분을 명확한 형태로 제시
1.2.4 의미: 집합론의 역설에도 불구하고 수학은 완전하며 모든 수학적 정리는 체계 내에서 증명 가능하다는 주장을 전개
1.2.5 괴델의 불완전성 정리의 논리적 출발이면서, 동시에 괴델의 정리로 인해 논리주의의 신념을 좌절시킴
Top