| [ QuizWit ] in KIDS 글 쓴 이(By): cdpark (박종대) 날 짜 (Date): 1999년 6월 22일 화요일 오후 02시 15분 26초 제 목(Title): QuizWit 보드의 옛 글을 보다보면.. 거의 100개 가까운 state를 손으로 분석해내는 멋진 노가다신공을 볼 때에 인간의 한계에 대해 존경의 마음이 생긴다. ^^; (요즘엔 다들 귀찮아서 프로그램 돌리고 말 것을...) Proof by program이란 방법은 4-color 문제를 비롯, 많은 미해결 문제를 해결해 주긴 했지만, 이 증명은 완벽한 수학적 증명으로 쓸 수는 없는 치명적인 문제가 있죠. 바로 halting problem이 증명불가능하므로, 어떤 연산기계에 대해서도 무결성을 증명하기가 쉽지 않다는거죠. 컴퓨터가 1+1을 2라고 답했을 때에 그 중간 과정에 쓰인 모든 연산이 sound하고 complete하다는 걸 증명해야 하는데 이게 불가능하죠. (맞나? --) 컴퓨터가 주는 답을 믿으려면, 컴퓨터 프로그램의 무결성, CPU의 무결성, OS의 무결성을 모두 증명해야 합니다. (그래야 버그가 아니라는 걸 믿죠.) 결국... 컴퓨터가 주는 답은 수학적으론 믿을 수 없는 답이라는게 문제죠. 언제쯤 4 color 증명을 full paper 길이(10pt로 A4 10장 이내??)로만 증명할 수 있을까요? ^^; @ 폼프님 홈페이지는 어디에?? -- 박.. |