[일반] 아름다운 증명이 불가능한 명제라는것도 존재하겠지?

[익명(125.133)]

4색정리증명은 아름답지않다고 그러는데

이걸 "아름답게" 증명하는 방법이 존재하지않을수도있는거지?

(노가다가 필수적)

아름다운 증명이 불가능한 명제임을 증명하는것도 어떻게해야될지 모르고 그러니

4색정리의 "아름다운 증명"을 위해 시도하는게 헛된지 아닌지도 그럼 결국 모르는건가

[익명(211.224)]

직관주의자한테는 그런게 제일 아름다운 증명일듯

[익명(175.223)]

당연하게 될거같은데 증명은 더러움류 대표주자 IFT

[익명(143.248)]

아름다운증명이 뭔지 그것도 어떻게 형식화해서 이론만들수있을수도 수리논리쪽에서