보면, 괴델의 불
어찌보면 간단할것 같기도 하지만, 상당히 난해합니다.저걸 증명해내면 참 행복할텐데 말이죠.
꽤 오랜시간 풀리지 않는걸 보면, 괴델의 불완전성정리처럼 명제는 참이지만, 증명 가능하지 않는건 아닐까라는 생각이 들기도 합니다.
네이버에서 검색해보면 지식인에 상당히 재미있는 글들이 많이 올라와 있더군요.
시간이 흐르면 누군가 증명하지 않을까요?
증명가능한 명제라면 말이죠. 즐겁긴 하네요.
title="permanent link">5:04 AM
0 comments
