지도상의 접경국가를 다른 색으로 칠한다고 할 때
4개의 색 만으로 모든 국가를 칠할 수 있는가?의 4색증명
1852년 처음 제시되었고
1976년에
컴퓨터로 다 해보니까 됨 ㅇㅇ으로 증명됨
수학자들 : 이딴게...증명?
[20]
리스프 | 16:30 | 조회 17 |루리웹
[8]
비취 골렘 | 16:29 | 조회 48 |루리웹
[19]
와칸다엔드 | 16:27 | 조회 21 |루리웹
[4]
아바투르_ | 16:27 | 조회 31 |루리웹
[10]
미친멘헤라박이 | 16:24 | 조회 24 |루리웹
[9]
라미아에게착정당하고싶다 | 16:25 | 조회 19 |루리웹
[7]
김점화 | 16:13 | 조회 4 |루리웹
[9]
니나아 | 16:22 | 조회 62 |루리웹
[17]
돌아온노아빌런 | 16:17 | 조회 84 |루리웹
[18]
타로 봐드림 | 16:20 | 조회 31 |루리웹
[16]
ZZAMZY | 16:21 | 조회 47 |루리웹
[18]
루리웹-3840255511 | 16:17 | 조회 72 |루리웹
[20]
루리웹-6942682108 | 16:20 | 조회 37 |루리웹
[22]
푸진핑 | 16:18 | 조회 35 |루리웹
[11]
감동브레이커 | 16:08 | 조회 51 |루리웹
댓글(10)
치트쓴 기분일듯
가장 수학적인 방식으로 움직이는 기계가 증명했으면 인정해야지
아직 해결안된 난제들에 대해서 딥러닝된 AI라든지 양자컴 계산으로 증명하면 어떻게 받아들여질지 궁금
반례를 찾지 못한 것도 증명이긴 하니
유한한 경우의 수에 대해서 증명할 때, 그냥 반례 없음! 때려버리는게 가장 쉬운 방법이긴 하지 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
근데 왜 시벌 우리나가 색깔이 주황색이여
북통과 남통 사이 그 어딘가 인가..
암튼 증명됐잖아, 한잔 해~
근데 그럼 저 국경선은 계속 1852년 기준으로 하는건가?