| [ QuizWit ] in KIDS 글 쓴 이(By): scheme (......) 날 짜 (Date): 1995년08월08일(화) 23시12분41초 KDT 제 목(Title): 기사와 건달？ 물론 이렇게 간단한 시스템에서 그렇게 복잡한 증명이 산출되기를 기대한다는 것부터가 우스운 일이지만요．．．직관과 그것을 보이는 것과는 차이가 있지 않을까요．．．우선 그 ＇기사＇의 말이 과연 말해질 수 있는 것인지의 문제부터．．．예를 들어 어떤 특정 형식화된 논리에서 그 ＇말＇이 이루어질 수있을까요．．．괴델이 자신의 명제 G를 ＇말하기＇ 위해 논문을 한편 쓸 정도로 자신에 대한 언급이 포함되어 있는 명제를 말한다는 것은 쉬운 일이 결코아닌 것 같습니다．．．특히 그것을 형식화해야할 필요성이 있다면요．．． 설령 말이 어떻게든（예를 들어， 그냥 직관에 호소하는 식으로） 이루어졌다고 하면， 그 사람이 기사라는 것을， 즉 그러한 증명이 존재하지 않는다는 것을 어떻게 알수 있을까요？ |