수학자들이 반례를 찾는걸 도전해보는 이유

이 추측의 반례는 아직 나오지 않았고, 아마도 참일 것으로 추정된다. 반례가 하나라도 나오는 순간 별다른 증명이 필요없이 저 추측은 거짓

인 것으로 문제가 끝나기 때문이다. 이미 1980년대에 컴퓨터를 이용해 약 1해까지의 숫자를 넣어보았지만 모두 1에 도달했다. 

1해까지 했는데 설마 반례가 있겠어? ㅋㅋ 

'4 이상의 모든 짝수는 두 소수의 합으로 나타낼 수 있다'는 상당히 간단한 추측이기 때문에 IBM에서 컴퓨터로 직접 무작정 대입을 해 본 사례도 있다. 무려 4부터 400경까지 대입을 해 보았지만 성립하지 않는 수를 찾을 수 없었다

400경 까지 했는데 반례가 있겠어 ㅋㅋ 

포여추측 

1919년 헝가리 수학자 조지 포여가 내놓은 포여 추측입니다

포여 추측을 설명하면

2보다 큰 A라는 숫자가 있을 때

2부터 A까지의 숫자들을 모두 소인수해보았을 때

나열된 소수의 갯수가 홀수인 숫자의 갯수가 A/2개 이상이라는 것

1958년에 하셀그로브라는 사람이 리우빌 함수를 이용해서

1.845*10^361 보다 작은 수 어딘가에

포여 추측의 반례가 있다는 것을 증명합니다.

없는 줄 알았는데  

있음. 

대표적 포여 추측