Computable 하지 않은 함수는 QDI (이게 뭔지는 잘 모르지만) 가 아니라 세상 그 어떤 테크닉을 들고 와도 계산 못합니다. 왜냐하면 계산 불가능하니까요. 말씀하신 논문에서 정확하게 뭘 증명했는지는 말씀하신 것만으로는 잘 모르겠지만, 이를테면 process algebra 에서 (CSP도 대강 process algebra의 일종이라고 할수 있지요.) 임의의 두개의 infinite process 가 bisimilar 한지 아닌지를 결정하는 문제는 undecidable 했던걸로 기억합니다. (즉 계산불가능) 잘은 모르지만 아마도 이와 유사한 상황이 있어서 어떤 함수의 계산가능성을 증명하고 넘어갔어야 할 필요가 있었을지도 모른다는 막연한 짐작이 드네요. 어디까지나 짐작입니다만.