반응형 증명 #자연수 #컴퓨터 #사색문제1 자동 정리 증명: 사색 정리 목차1, 증명되었다?2. 이건 다 아는 거잖아3, 컴퓨터도 수학적 창의성을 가질 수 있는가? 1, 증명되었다? 이번에는 기술의 발전과 함께 수학자들이 맞닥뜨리게 된 철학적 문제에 대해 이야기해 보겠습니다. 과연 어떤 조건을 만족해야만 수학적 문제가 증명되었다고 할 수 있을까요?기초가 이미 형성되어 있는 분야에서 '옳은 증명'이 무엇을 의미하는 지에 대해서는 이미 2,000년 전에 의견일치가 이루어졌습니다. 증명하려는 명제를 이론의 출발점에 서 있는 공리로부터 연역적으로 추론할 수 있으면 됩니다. ‘유클리드의 기하학'이 그렇게 해서 만들어졌고 기하학을 모델로 한 다른 분야에서도 이 방법이 점차 자리를 잡아갔습니다. 그러나 19세기 중반이 되어서야 모든 수학 분야가 이 단계에 이르렀으니 시간이 왜 오.. 2025. 2. 25. 이전 1 다음 반응형
