| [ QuizWit ] in KIDS 글 쓴 이(By): cdpark (박종대) 날 짜 (Date): 1998년 11월 30일 월요일 오후 02시 28분 18초 제 목(Title): Re: 컴퓨터를 이용한 수학적 증명. > 유명한 정리들 중에도 이런 식으로 증명된 것이 있다고 들었습니다만... 4색 정리가 그 예겠죠. 1936가지 경우에 대해서 어떤 성질을 만족한다면 결국 4색 정리가 성립한다는 걸 우선 증명하고, 그 1936가지 경우를 컴퓨터에 걸고 풀었죠. (1977년에..) 최근 결과는 700개 정도의 경우만 풀면 되는 정도로 증명이 개선되었다고 하네요. 하지만, 앉은 자리에서 손으로 증명하기엔 아직 좀 많죠? ^_^ -- 박.. |