심심해서 들어오다가 흥미롭게 발견했습니다만
일단 제가 물리전공자가 아니라 자세한 건 생략하고.....
이 정리라함은 괴델의 불완전성 정리 입니다만...
제1불완전성정리: 산술을 형식화한 형식체계에서 그 체계가 무모순적인 한, 참이지만 증명할 수 없는 문장(논리식)이 적어도 하나 이상 존재한다
제2불완전성정리: 제1불완정성정리의 조건을 만족시키는 어떠한 형식체계도 그 체계가 무모순적인 한, 그 체계 안에서 주어진 공리와 규칙들만으로는 그 일관성을 증명할 수 없다.
예.... 이걸 이용하면 굳이 그런 논쟁을 벌일 필요는 없을 것 같습니다만.... 현재까지 인류의 지성으로 쌓아올린 어떤 체계도 자신의 완전성을 스스로 증명할 수는 없으니까요
아니면 가능세계를 도입하는 것도 괜찮을 것 같습니다만....
Comment ' 28