Hello World/ > 게시판

빨간 글씨는 몇 번을 되뇌어봐도 어렵네요..
어쨌거나 힘내세요. 저는 여기 들렸다가면 쌓였던게 좀 풀어지더라고요.

일단 현우님부터 뜸하게 오시니.. 홈피가 더 안되는거 같은 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

아니 저 빨간 글씨는!!! 괴델의 불완전성 정리!!
자연수의 이론을 포함하며 모순이 없는 모든 공리계에는 참이지만 증명될 수 없는 명제가 존재하며, 또한 그 공리계는 자신의 무모순성을 증명할 수 없다.
는 내용입니다.
쉽게 말하자면 '거짓인지 참인지 증명할 수 없는 명제가 반드시 존재한다'는 뜻입니다.
예를 들어 유클리드(에우클레이데스) 기하학과 리만 기하학. 서로 모순되지만 둘 다 맞는 이론 체계죠
라는데 이거 볼수록 너무 어렵네요 ㅠ