[일반] mu-recursive는 정의에 대한 정의 아님?

[기괴공학도(mecheng98)]

f(x_1, ..., x_n) := ~으로 정의된

부분 함수 f : omega^n → omega에 대하여

f의 정의가 재귀적이다는 말이 되는데,

f의 해석이 재귀적이다는 말이 안 되지 않음?

그냥 내 생각임 ㅇㅅㅇ

mu-recursive는 람다 셈법이랑 계산 이론이랑 연결되어 있고,

뽈펜님께 조금이라도 도움이 되고 싶어서 쓴 글임.

- dc official App

[기괴공학도(mecheng98)]

도움이 안 되어서 문제이지만 ㅠㅠ - dc App

[뽈펜(ieieiei)]

해석이 재귀적이라는 게 뭐임? 아무튼 다음만 해결되면 됨: 내가 올린 짤이 불완전성 정리를 집합론의 언어랑 ZFC 위에서 증명하려는 건지는 모르겠는데 일단 맞다 치고 공부하는 중이야. 그런데 "f가 recursive function이다"라는 말이 계속 나와. 그러면 이 말을 집합론의 기초 기호로만 표현할 수 있어야 하잖아. 근데 그게 가능한지 모르겠다는 게 문제야.

[기괴공학도(mecheng98)]

https://en.m.wikipedia.org/wiki/Interpretation_(logic)
- dc App