수학적 진리는 인간의 증명이 필요 없을지도 모른다

수학자들은 흔히 모든 정리를 엄격하게 증명해야 한다고 믿지만, 전직관주의자들은 인간의 증명과 무관하게 수학적 사실이 이미 존재한다고 보았다.

푸앵카레, 보렐 등으로 대표되는 전직관주의자들은 자연수의 원리와 같은 근본적인 수학적 사실이 논리적 증명 없이도 자명하게 존재한다고 주장했습니다. 이들은 수학이 인간의 언어나 형식 논리에 종속된 결과물이 아니라, 그 너머의 독립적인 실체를 가진다고 생각한 것입니다. 복잡한 수식과 증명 과정에 매몰된 현대 수학의 풍경 속에서, 이들의 관점은 수학적 진리의 본질이 무엇인지 다시 한번 생각하게 합니다.