| [ PhilosophyThought ] in KIDS 글 쓴 이(By): eulia (수선화애인) 날 짜 (Date): 1998년 6월 22일 월요일 오후 08시 24분 49초 제 목(Title): Re: 질문] Turing Computable Function에 함수 f:N->N의 cardinality와 자연수 N의 cardinality는 갖습니다. 윗분은 함수가 "N x N"의 영역에서 정의 되기 때문에 N보다 작다고 생각하시는데, NxN은 유리수영역으로 쉽게 1대1 매핑되며, 유리수가 자연수와 같은 cardinality를 가진다는 것은 뭐 다 아는 사실이니까요. 또한 "괴델수"의 아이디어에 의해서 언제든지 논리식은 자연수로 변환될수 있습니다. 즉 [형식적 체계의 논리식 전체의 집합에서 자연수 전체의 집합 속으로 '1대1 대응'을 구성할수 있다는 것이죠 ] ---- 초보는 외로워~~~ ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ---------------------------------------------------------------------------- |