[일반] 님들 4색정리는 수학적인 증명이 없나요

[익명(211.177)]

수학이랑 담쌓은 킹반인인데

4색정리 글 읽다가 궁금해짐

컴퓨터를 이용해 증명했다는데 그거 말고

컴퓨터의 도움 없이 수학적으로 증명이 된건지

[햏자를아시는가(am1196)]

컴퓨터를 쓰는게 왜 수학적이 아님? 그럼 내가 너한테 1+18이 뭐더라? 한다음에 그거 듣고 답 적으면 수학적이 아닌거임? - dc App

[익명(211.177)]

컴퓨터의 도움 없이 수학적으로 증명한게 있는지 궁금해진거에요

[익명(211.177)]

제목을 좀 오해할 수 있게 썼네요 죄송

[햏자를아시는가(am1196)]

아직까진 없는거로 알고 어디까지 아는진 모르겠는데 무한히 많은 경우를 엄청 많긴 해도 유한한 경우까지 줄이는데는 컴퓨터 없이 성공했어 그걸 다 계산하기가 힘들어서 더 줄일 수 있는 방법이 없나? 하고 고민하다가 그냥 컴퓨터에 넣고 돌려보자 유한하니까 언젠간 끝나겠지 하고 풀어버린거고 - dc App

[익명(223.39)]

컴퓨터가 했다는게 뭐 대단한게 아님... 그냥 대학원생 500명 모아두고 하나하나 확인해보라고 한거랑 크게 다른거 없음 - dc App

[heisenberg(asdf5447)]

실제로 중요한 파트는 비슷한 방법으로 증명함.

[익명(183.109)]

굳이 연역적으로 증명해야한다는 법은 없음. 오히려 지식의 확장은 이런 경험적 지식에서 발생하는 경우가 허다함