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