컴퓨터를 이용한 증명
최근들어 고성능 컴퓨터를 이용하여, 난해한 여러가지 수학적 난제들을 풀어낸다고 한다.. 자세히 기억은 나지 않지만, 유명한 4색 지도 문제도 컴퓨터를 이용하여 증명해낸 것으로 알고 있다.. 그런데, 이렇게 컴퓨터를 이용하여 증명한 수학적 명제도 실제 수학계에서 완전한 정리로서 받아들여 질 수 있는 것일까? 그러기 위해선, 컴퓨터의 연산결과가 언제나 틀림이 없다는 것의 수학적증명이 선행되어야 할텐데,, 이를 수학적으로 증명하는 것이 가능할까??
Mathematics/question
2006. 1. 19. 18:35