지도상의 접경국가를 다른 색으로 칠한다고 할 때
4개의 색 만으로 모든 국가를 칠할 수 있는가?의 4색증명
1852년 처음 제시되었고
1976년에
컴퓨터로 다 해보니까 됨 ㅇㅇ으로 증명됨
수학자들 : 이딴게...증명?
지도상의 접경국가를 다른 색으로 칠한다고 할 때
4개의 색 만으로 모든 국가를 칠할 수 있는가?의 4색증명
1852년 처음 제시되었고
1976년에
컴퓨터로 다 해보니까 됨 ㅇㅇ으로 증명됨
수학자들 : 이딴게...증명?
오사랑 大塚愛
추천 0
조회 39
날짜 04:34
|
환인眞
추천 3
조회 356
날짜 04:34
|
토코♡유미♡사치코
추천 5
조회 164
날짜 04:33
|
월드클라스변태
추천 2
조회 81
날짜 04:33
|
보갤첩자
추천 0
조회 139
날짜 04:32
|
데빌쿠우회장™
추천 0
조회 68
날짜 04:32
|
AnYujin アン・ユジン
추천 2
조회 278
날짜 04:31
|
메이めい
추천 2
조회 37
날짜 04:30
|
지상최강의 유우카
추천 0
조회 164
날짜 04:30
|
금빛곰돌이
추천 1
조회 45
날짜 04:30
|
환가비
추천 6
조회 377
날짜 04:30
|
AnYujin アン・ユジン
추천 4
조회 206
날짜 04:29
|
AnYujin アン・ユジン
추천 1
조회 235
날짜 04:28
|
몽골리안갱뱅크림파이
추천 2
조회 123
날짜 04:26
|
AnYujin アン・ユジン
추천 40
조회 5959
날짜 04:26
|
AnYujin アン・ユジン
추천 68
조회 8071
날짜 04:25
|
나없다메롱😛
추천 1
조회 142
날짜 04:25
|
루리웹-8577837415
추천 2
조회 212
날짜 04:24
|
루리웹-5879384766
추천 2
조회 407
날짜 04:24
|
데빌쿠우회장™
추천 1
조회 140
날짜 04:24
|
❤️꿀꿀❤️
추천 0
조회 59
날짜 04:24
|
P.S.G
추천 0
조회 128
날짜 04:24
|
루리웹-1543023300
추천 3
조회 111
날짜 04:24
|
AnYujin アン・ユジン
추천 3
조회 285
날짜 04:23
|
AnYujin アン・ユジン
추천 53
조회 10095
날짜 04:23
|
AnYujin アン・ユジン
추천 4
조회 259
날짜 04:22
|
Fei_Allelujah
추천 1
조회 115
날짜 04:21
|
감동브레이커
추천 1
조회 239
날짜 04:21
|
가장 수학적인 방식으로 움직이는 기계가 증명했으면 인정해야지
유한한 경우의 수에 대해서 증명할 때, 그냥 반례 없음! 때려버리는게 가장 쉬운 방법이긴 하지 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
반례를 찾지 못한 것도 증명이긴 하니
치트쓴 기분일듯
애초에 규칙적으로 나열된게 아니라 공식으로 나올수도 없는거잖아
아직 해결안된 난제들에 대해서 딥러닝된 AI라든지 양자컴 계산으로 증명하면 어떻게 받아들여질지 궁금
일단 글의 지도는 점령지나 일부 괴뢰국가는 제외한 2024년 현재인거 같기는 함.
치트쓴 기분일듯
가장 수학적인 방식으로 움직이는 기계가 증명했으면 인정해야지
ALTF4
아직 해결안된 난제들에 대해서 딥러닝된 AI라든지 양자컴 계산으로 증명하면 어떻게 받아들여질지 궁금
반례를 찾지 못한 것도 증명이긴 하니
유한한 경우의 수에 대해서 증명할 때, 그냥 반례 없음! 때려버리는게 가장 쉬운 방법이긴 하지 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
근데 왜 시벌 우리나가 색깔이 주황색이여
북통과 남통 사이 그 어딘가 인가..
암튼 증명됐잖아, 한잔 해~
근데 그럼 저 국경선은 계속 1852년 기준으로 하는건가?
일단 본문짤로 보면 1852년 기준은 아닐듯 ㅋㅋㅋ 그땐 남북한 없이 조선이었잖엌ㅋ
유게이Ai
일단 글의 지도는 점령지나 일부 괴뢰국가는 제외한 2024년 현재인거 같기는 함.
애초에 규칙적으로 나열된게 아니라 공식으로 나올수도 없는거잖아
ㄴㄴ 모든 경우의 수를 유한한 개수로 정리해서 컴퓨터에 넣고 돌림.
브루트포스였어???ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
사실 저런증명은 해냈고 오류없으니 된거아님? 이면 충분하지
사실 증명이라는 것을 하는 과정 자체가 수학의 발전이어서 (애초에 리만가설처럼 증명 없이 참인 걸 가정하고 쓰는 가설들도 있고) 페르마 정리 증명하면서 정수론의 타원곡선이론이 크게 발전했듯이 저렇게 컴퓨터로 증명하는 건 수학적으로 아름답지 못하다 느낄수도 있긴하죠 그래서 분명 다른 증명방식을 연구하는 사람이 있지 않을까요
저문제가 만약 가능한 경우의 수를 따지는 문제면 저것만으론 증명안되지만, 가능한가 불가능한가 여부를 묻는문제중 저렇게 참과 거짓이 명확하다면, 가능하고 거짓이 없다를 보여주면 그만이라..
반대로, 아름다워서 사람 잡는 문제들이 있다는게 슬픈일이지 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 누가 봐도 딱 떨어지게 생겼거나, 너무 쉬워보여서 수학자들 달라붙었다가 자살하거나 정신병 걸리는 경우도 있으니 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ (페르마의 마지막 정리)
수학자들 진짜 불만 많은 증명법이긴함 ㅋㅋㅋ 나중에 더 아름다운 증명법을 발견하지 않을까?
이시가미: "그 증명은 아름답지 않아."
어떤 지점에서 n개의 국경선이 뻗어나간다 해도 항상 어떤 국가의 국토는 인접한 2개의 선 사이에만 존재하니 항상 최대 3개의 국가와만 국경선(과 점)을 맞댈 수 있긴 하지....
원리적으로는 충분히 이해할 수 있지만 이걸 수식으로 만드는건 수학적인 전공지식이 있어야 해서 못하겠다
귀류적으로 5개의 색이 필요해지려면 어떤 지점에서 동시에 4개의 국가와 국경을 맞댈 수 있는가를 생각해야 하는데...지도가 평면인 한은 상상이 안되네
대학원때 한번 증명해볼라다가 ㅈㅈ쳤던 거네 ㅋㅋ
5개의 색이 필요한 상황이 평면에서는 나오지 않는건 하다보면 직감적으로 알게 되는데 증명할 방법이 안떠오르고 노가다로 모든 경우 다 구하려고 하면 경우의 수가 진짜 한도끝도 없이 나옴. 하다보면 사람손으로는 하다 ㅈㅈ치겠고 저거 증명한 사람들도 컴퓨터로 할 수 밖에 없었겠다 싶어짐. 그 모든 경우의 수가 정말 모든 경우의 수가 맞다는걸 인정받은 증명인걸로 들었음.