유머천국 코하비닷컴
https://cohabe.com/sisa/3970820

200년 동안 풀리지 않았던 수학계 난제


img/24/09/21/192122fe6ad4e5134.jpg

오일러 추론.

유명한 수학자 레온하르트 오일러가 1769년에 발표한 추론으로,

위의 방정식을 만족시키는 정수해는 존재하지 않는다고 주장했다.



200년이 가까이 되도록 해당 추론은 증명되지 않았고,

이에 대한 반례도 발견되지 않았는데.....





img/24/09/21/192122fe89b4e5134.jpg

1969년, 컴퓨터가 발명되면서 수학자들은 간단한 방법으로 이 추론이 참이 아님을 증명한다.

그냥 모든 경우를 다 대입해서 컴퓨터 돌려서 반례를 찾아버린 것.


그러다보니 논문도 매우 간략하다. 발표된 증명은 위의 내용, 컴퓨터 돌려보니 반례가 있더라는 내용이 전부였다;;

어쨌든 반례가 60년대 컴퓨터를 돌려서 찾을수 있을만큼 가까운 곳에 있었기에 다행이었을수도.






img/24/09/21/192122fea834e5134.webp


'이런 문제도 못 풀다니, 멍청하군요 휴먼.'



댓글
  • 란도셀 애호가 2024/09/21 10:28

    4색정리 난제도 비슷하지 않나ㅋㅋㅋ
    그냥 가능한 모든 경우의 수를 컴퓨터로 시뮬레이션 돌려서 반례가 하나도 안 나오자
    이 난제는 참 인 것으로 판정 땅땅땅~

  • 네하 2024/09/21 10:29

    명제를 거짓이라 증명하는건 쉽지 반례하마면 되거든
    참이라 증명하는건.. 모든 경우의수를 돌려보거나 아니면 논리적 오류가 없게 완벽하게 참임을 증명해야하니까...

  • 다봄 2024/09/21 10:28

    아름답지 못한 증명

  • 빛의숯뎅이 2024/09/21 10:28

    ai가 발전하면 리만가설도 풀릴려나...

  • 데쓰노트 소비에트에디션 2024/09/21 10:31

    하지만 풀었죠
    "Brutal Force"


  • 빛의숯뎅이
    2024/09/21 10:28

    ai가 발전하면 리만가설도 풀릴려나...

    (Z5JUTx)


  • 김불손
    2024/09/21 10:33

    그때였어요 스카이넷이 반란을 일으킨게

    (Z5JUTx)


  • 날으리
    2024/09/21 10:35

    거짓이면가능, 참이면 불가능

    (Z5JUTx)


  • 란도셀 애호가
    2024/09/21 10:28

    4색정리 난제도 비슷하지 않나ㅋㅋㅋ
    그냥 가능한 모든 경우의 수를 컴퓨터로 시뮬레이션 돌려서 반례가 하나도 안 나오자
    이 난제는 참 인 것으로 판정 땅땅땅~

    (Z5JUTx)


  • Mystica
    2024/09/21 10:34

    4색정리는 말처럼 단순하진 않음. 일단 가능한 모든 유형을 분류하는 작업이 선행되어야 해서.

    (Z5JUTx)


  • 다봄
    2024/09/21 10:28

    아름답지 못한 증명

    (Z5JUTx)


  • 데쓰노트 소비에트에디션
    2024/09/21 10:31

    하지만 풀었죠
    "Brutal Force"

    (Z5JUTx)


  • IllIIIllIlll
    2024/09/21 10:33

    4색정리는 아름답지 않지만 이거는 반례를 찾은거라 깔끔하지

    (Z5JUTx)


  • 멍청한놈
    2024/09/21 10:34

    답을 찾은거랑
    증명은 다르다구욧!

    (Z5JUTx)


  • Yggdra
    2024/09/21 10:35

    옳다는걸 증명하는게 아니라 틀렸다는걸 증명하는거에서 반례하나 든거라면 충분히 아름다운거 아닌가?

    (Z5JUTx)


  • 네하
    2024/09/21 10:29

    명제를 거짓이라 증명하는건 쉽지 반례하마면 되거든
    참이라 증명하는건.. 모든 경우의수를 돌려보거나 아니면 논리적 오류가 없게 완벽하게 참임을 증명해야하니까...

    (Z5JUTx)


  • Rituals
    2024/09/21 10:32

    저런 반례 찾기가 쉽지가 않긴한데 찾으면 뭔가 김빠지긴함.

    (Z5JUTx)


  • 루리웹-2017881966
    2024/09/21 10:32

    잘했다 컴퓨터야 그 문제 다 풀었으면 이제 여기와서 야짤 좀 표시해주렴

    (Z5JUTx)


  • 춘전개조시닉바꿈
    2024/09/21 10:32

    섹시하지 못하네

    (Z5JUTx)


  • 지나가던오덕
    2024/09/21 10:32

    증명은 됐지만 수학을 사랑하는 사람들에겐
    이건 아름답지 못하다면서 절규할 만한 상황이군

    (Z5JUTx)


  • 아리랑하내
    2024/09/21 10:35

    ㄴㄴ 이제 수학을 사랑해서 미쳐버린 사람들은
    다른반례가 있나 찾아보고 있으면 반례끼리 수학적으로 무슨 관계가 있는지 찾을려고 할듯 ㅋㅋㅋㅋㅋㅋ

    (Z5JUTx)


  • Rituals
    2024/09/21 10:34

    실제로 수학과 대학원 뽑을때 수학을 조금 못해도 컴퓨터를 엄청 잘하면 뽑음

    (Z5JUTx)

(Z5JUTx)