| [ PhilosophyThought ] in KIDS 글 쓴 이(By): guest (KFHS) 날 짜 (Date): 1998년 6월 21일 일요일 오후 09시 24분 26초 제 목(Title): Re: 질문] Turing Computable Function에 Computable 하지 않은 함수는 QDI (이게 뭔지는 잘 모르지만) 가 아니라 세상 그 어떤 테크닉을 들고 와도 계산 못합니다. 왜냐하면 계산 불가능하니까요. 말씀하신 논문에서 정확하게 뭘 증명했는지는 말씀하신 것만으로는 잘 모르겠지만, 이를테면 process algebra 에서 (CSP도 대강 process algebra의 일종이라고 할수 있지요.) 임의의 두개의 infinite process 가 bisimilar 한지 아닌지를 결정하는 문제는 undecidable 했던걸로 기억합니다. (즉 계산불가능) 잘은 모르지만 아마도 이와 유사한 상황이 있어서 어떤 함수의 계산가능성을 증명하고 넘어갔어야 할 필요가 있었을지도 모른다는 막연한 짐작이 드네요. 어디까지나 짐작입니다만. |