지도상의 접경국가를 다른 색으로 칠한다고 할 때
4개의 색 만으로 모든 국가를 칠할 수 있는가?의 4색증명
1852년 처음 제시되었고
1976년에
컴퓨터로 다 해보니까 됨 ㅇㅇ으로 증명됨
수학자들 : 이딴게...증명?
지도상의 접경국가를 다른 색으로 칠한다고 할 때
4개의 색 만으로 모든 국가를 칠할 수 있는가?의 4색증명
1852년 처음 제시되었고
1976년에
컴퓨터로 다 해보니까 됨 ㅇㅇ으로 증명됨
수학자들 : 이딴게...증명?
반례를 찾지 못한 것도 증명이긴 하니
치트쓴 기분일듯
가장 수학적인 방식으로 움직이는 기계가 증명했으면 인정해야지
치트쓴 기분일듯
가장 수학적인 방식으로 움직이는 기계가 증명했으면 인정해야지
반례를 찾지 못한 것도 증명이긴 하니
유한한 경우의 수에 대해서 증명할 때, 그냥 반례 없음! 때려버리는게 가장 쉬운 방법이긴 하지 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
근데 왜 시벌 우리나가 색깔이 주황색이여
북통과 남통 사이 그 어딘가 인가..