그것이 아닐텐데..... -_-

골드바흐의 정리? 정리 못했죠. 골드바흐의 추측이죠. ^^ 영어로는 'Goldbach's Conjecture'라고 합니다. 그리고 님이 착각하신 것. '4이상 모든 자연수는 두 소수의 합으로 나타낼 수 있다'라고 하셨는데 이건... 말도 안됩니다. 당장 11만 해도 두 소수를 더해서는 답이 안나옵니다. -_- 정확하게 4이상의 '모든 자연수'가 아니라 '모든 짝수' 입니다. ^^ 원문을 적어보자면 Every even number greater than 2 is the sum of two primes. (2보다 큰 모든 짝수는 두 개의 소수의 합으로 나타낼 수 있다.) *even number:짝수, odd(uneven) number:홀수 이 골드바흐의 추측을 소재로 한 소설도 있습니다. Uncle Petors and Goldbach's Conjecture - Apostolos Doxiadis 우리말 번역본은 골드바흐의 추측 - 아포스톨로스 독시아디스 DJUNA(통신상의 아이디임, 아는 사람은 다 아는 사람임)라는 사람이 이 책을 읽고 쓴 리뷰가 있습니다. 그 분이 쓴 리뷰 중에서 골드바흐의 추측에 대해 설명해 놓은 부분을 옮겨드리겠습니다. "골드바흐의 추측이란 무엇일까요? 난제라고 지레 겁먹을 필요는 없습니다. 문제 자체는 간단하니까요. 대충 이런 것입니다. 18세기의 수학자 크리스찬 골드바흐는 1742년 숫자를 가지고 놀다가 모든 짝수는 솟수 두 개의 합으로 표현될 수 있다는 걸 알았습니다. 4=2+2, 6=3+3, 8=3+5, 10=5+5, 12=5+7... 그는 당시 최고의 수학자인 오일러에게 이게 일반적인 성질이냐고 물었습니다. 오일러는 골드바흐의 명제를 두 개로 나누어 정리했습니다. (1) 2보다 큰 짝수는 두 솟수의 합으로 나타낼 수 있다. (2) 5보다 큰 홀수는 세 솟수의 합으로 나타낼 수 있다. 우리가 골드바흐의 추측이라고 하는 부르는 미결 문제는 첫번째입니다. 두번째는 1937년 러시아의 이반 비노그라도프가 증명했으니까요. 흠, 별로 어려워 보이지 않는군요. 하지만 어떻게 증명하지요? 숫자 하나 하나를 다 체크해 보면 어떨까요? 이미 궁금한 수학자들이 수퍼 컴퓨터를 돌려서 400조까지는 체크해봤지만 아직까지는 골드바흐의 추측에서 어긋난 짝수는 없었습니다. 하지만 귀납법은 증명의 도구가 될 수 없습니다. 400조 너머에서 하나라도 골드바흐의 추측과 다른 게 나온다면 귀납법에 기댄 엉성한 증명은 박살납니다......" 참고로 한가지! 이 소설의 영역판을 출판한 Faber & Faber사에서는 2년 안에 골드바흐의 추측을 증명하는 사람에게 백만 달러의 상금을 주겠다고 발표했답니다. 한번 도전해 보실까요? ^^