어떤 명제가 참임을 증명하는데 방법 A를 쓰면 그냥 존나쉽게해결됨 근데 방법 B를 쓰면 빙빙 돌아가듯 풀이함 그렇다고해서 방법 A가 무조건 방법B보다 더가치있다 고평가하지는 않음?아니면 무조건 예외없이 A가 더나음? - dc official App
맥락 따라 조금씩 다를듯
더 복잡한 증명이더라도 더 확장된 큰 체계위에서 적용할만한 아이디어라면 그것도 가치가 있지. 나는 어떤 명제 하나만을 증명하기 위한 짧은 증명보다, 좀 복잡해도 충분히 robust해서 여러 다양한 명제의 증명에 적용할 수 있는 아이디어를 제공하는 증명법을 더 좋다고 생각함.