[일반] 요즘 프로그램 증명은 수학과에서 취급이 어떰?

[크로마토그래피(211.36)]

4색정리 프로그램으로 증명했을때 수학자들 인정 안해줬다고 하는데 요즘은 인정해줌? 프로그램이 수억개씩 케이스 만들어서 이거 맞다 보여주면 믿는분위기임?

[익명(116.40)]

요새는 어쩔수 없음

[익명(39.7)]

성립되는 lower bound를 먼저 증명하고 그 아래부터 컴퓨터 돌리는 증명은 많이들 함

[익명(175.223)]

유한한 경우에는 당연히 유효한 증명임