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