guest님의 마지막 글을 보고 생각나는 것... '어떤 함수 f가 계산가능한가?'란 문제도 곧 계산불가능하지요. (맞죠?) 그 말씀을 하고 싶으신 것 같군요. 함수로 바꿔 쓴다면 h(f)=1 if f is computable (recursive?), 0 otherwise. 흠... 근데 이건 생각해 보니 좀 문제가 있군요. h를 자연수->자연수의 함수로 매핑할 수가 없군요. f는 f:N->N이니 cardinality가 N보다 크고... (실수와 같은가?) 고로 h는 함수의 성격이 아예 다르니 f에서 써먹을 수 있는 계산가능성의 개념 자체가 의미가 없다? 흠... 이렇게 고치면 어떨가요? f의 가능한 값을 모든 f:N->N이 아니라 '유한한 말로 정의 가능한 (따라서 countable -> 자연수로 표시가능!) 모든 N->N 함수'로.. * 너무 말이 꼬였나..?