|
:: 게시판
:: 이전 게시판
|
- PGR21 관련된 질문 및 건의는 [건의 게시판]을 이용바랍니다.
- (2013년 3월 이전) 오래된 질문글은 [이전 질문 게시판]에 있습니다. 통합 규정을 준수해 주십시오. (2015.12.25.)
통합규정 1.3 이용안내 인용"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
17/11/23 00:07
그 괴델의 증명이란 책이 있습니다. 기호논리학의 기호들을 넘버링 해서 괴델수로 만든 다음 걔네끼리 연산해서 증명 불가능성을 증명한 것인데 쉽게는 메타레벨의 오브젝트레벨로의 치환이라 보시면 됩니다. 책이 두껍지 않으니 읽으실만 하실 겁니다.
|
||||||||||