수학의 어떤 진실은 증명될 수 없다

1931년, 수학자 쿠르트 괴델은 중요한 진실을 밝혔다. 기본적인 산술을 다룰 만큼 강력한 어떤 일관된 수학 체계에도 참이지만 그 체계 안에서는 증명될 수 없는 명제가 있다는 것이다. 그는 본질적으로 '이 명제는 증명 불가능하다'와 같은 자기 참조적 역설을 만들었다. 만약 참이라면 증명 불가능하고, 거짓이라면 모순이 생긴다. 이는 수학에 항상 결정 불가능한 명제가 있음을 의미한다. 20세기 완전하고 완벽한 수학적 기초에 대한 꿈에 도전하는 것이다. 괴델의 연구는 형식 논리의 내재적 한계를 보여준다. 이는 철학에서 컴퓨터 과학에 이르는 분야에 영향을 미쳤다. 또한 정지 문제와 같은 일부 문제가 근본적으로 해결 불가능한 이유를 설명한다.