오일러 추론.
유명한 수학자 레온하르트 오일러가 1769년에 발표한 추론으로,
위의 방정식을 만족시키는 정수해는 존재하지 않는다고 주장했다.
200년이 가까이 되도록 해당 추론은 증명되지 않았고,
이에 대한 반례도 발견되지 않았는데.....
1969년, 컴퓨터가 발명되면서 수학자들은 간단한 방법으로 이 추론이 참이 아님을 증명한다.
그냥 모든 경우를 다 대입해서 컴퓨터 돌려서 반례를 찾아버린 것.
그러다보니 논문도 매우 간략하다. 발표된 증명은 위의 내용, 컴퓨터 돌려보니 반례가 있더라는 내용이 전부였다;;
어쨌든 반례가 60년대 컴퓨터를 돌려서 찾을수 있을만큼 가까운 곳에 있었기에 다행이었을수도.
'이런 문제도 못 풀다니, 멍청하군요 휴먼.'
4색정리 난제도 비슷하지 않나ㅋㅋㅋ
그냥 가능한 모든 경우의 수를 컴퓨터로 시뮬레이션 돌려서 반례가 하나도 안 나오자
이 난제는 참 인 것으로 판정 땅땅땅~
명제를 거짓이라 증명하는건 쉽지 반례하마면 되거든
참이라 증명하는건.. 모든 경우의수를 돌려보거나 아니면 논리적 오류가 없게 완벽하게 참임을 증명해야하니까...
아름답지 못한 증명
ai가 발전하면 리만가설도 풀릴려나...
하지만 풀었죠
"Brutal Force"
ai가 발전하면 리만가설도 풀릴려나...
그때였어요 스카이넷이 반란을 일으킨게
거짓이면가능, 참이면 불가능
4색정리 난제도 비슷하지 않나ㅋㅋㅋ
그냥 가능한 모든 경우의 수를 컴퓨터로 시뮬레이션 돌려서 반례가 하나도 안 나오자
이 난제는 참 인 것으로 판정 땅땅땅~
4색정리는 말처럼 단순하진 않음. 일단 가능한 모든 유형을 분류하는 작업이 선행되어야 해서.
아름답지 못한 증명
하지만 풀었죠
"Brutal Force"
4색정리는 아름답지 않지만 이거는 반례를 찾은거라 깔끔하지
답을 찾은거랑
증명은 다르다구욧!
옳다는걸 증명하는게 아니라 틀렸다는걸 증명하는거에서 반례하나 든거라면 충분히 아름다운거 아닌가?
명제를 거짓이라 증명하는건 쉽지 반례하마면 되거든
참이라 증명하는건.. 모든 경우의수를 돌려보거나 아니면 논리적 오류가 없게 완벽하게 참임을 증명해야하니까...
저런 반례 찾기가 쉽지가 않긴한데 찾으면 뭔가 김빠지긴함.
잘했다 컴퓨터야 그 문제 다 풀었으면 이제 여기와서 야짤 좀 표시해주렴
섹시하지 못하네
증명은 됐지만 수학을 사랑하는 사람들에겐
이건 아름답지 못하다면서 절규할 만한 상황이군
ㄴㄴ 이제 수학을 사랑해서 미쳐버린 사람들은
다른반례가 있나 찾아보고 있으면 반례끼리 수학적으로 무슨 관계가 있는지 찾을려고 할듯 ㅋㅋㅋㅋㅋㅋ
실제로 수학과 대학원 뽑을때 수학을 조금 못해도 컴퓨터를 엄청 잘하면 뽑음