| [ PhilosophyThought ] in KIDS 글 쓴 이(By): eulia (수선화애인) 날 짜 (Date): 1998년 6월 21일 일요일 오전 12시 33분 26초 제 목(Title): Re: 질문] Turing Computable Function에 아... 처음 halting problem이 turing machine에서 인식되는 않는 다는 이야기를 들었을때, 그런 모순성에 대해서 생각을 했었습니다. 즉 halting problem이 재귀적 성격이 강한 문제였기 때문이죠. 마치도 괴델의 불완전성의 정리의 증명을 떠올리게 함니다. "결정불가능한 명제"를 이와같은 halting problem으로 봐도 문제가 되지 않을듯 한데요. 문제는 문제의 범위가 괴델의 경우는 수학적 기초에서 이루어졌다는 것과, 이경우는 Turing machine이라는 문제의 영역만이 다르다고 생각이 드는군요. 이러한 부분에서 논문을 쓰시는 분은 여기 안계신가요 ? 만약 이미 된 부분이 아니라면 재미있는 문제 같은데. -- 감사합니다. 초보입니다. ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ---------------------------------------------------------------------------- |