# Relation between partially computable function and complex function

Given a partially computable function, is there an analytic complex function which is equal to it at every point of it's domain? Or under what condition does a partially computable function correspond to the restriction of an analytic complex function?

-
Maybe I'm being dense, but could you define a C.e. function? Or at least write out the name, so I can search for a definition? Given the tags and the question, I guess it's the only reasonable mathematical definition I found when searching for c.e. function: mathproservices.com/presentations/NewOrleans95/cefcndef.html – Jan Jitse Venselaar May 3 '11 at 12:57
I meant if course: "I guess it's not the only reasonable mathematical definition".. – Jan Jitse Venselaar May 3 '11 at 13:03
The questioner seems to be asking whether every computable function on $\mathbb{N}$ can be extended to a complex analytic function on $\mathbb{C}$. For example, computable functions can have crazy growth behavior, and perhaps this prevents such an extension. – Joel David Hamkins May 3 '11 at 13:20
I don't know for sure what a computable function is, but if it is, among other things, a complex-valued function on the natural numbers, and you want to extend it to an entire function on $\mathbb{C}$, then I think you can. There is a theorem in Chapter 15 of Rudin's Real and Complex Analysis that guarantees for any subset $A$ of $\mathbb{C}$ with no limit points the existence of an entire function taking prescribed values at each element of $A$ (you can even specify as many derivatives as you want at each point). – Keenan Kidwell May 3 '11 at 13:47
This question should have said: given a computable partial function $\mathbb{N} \to \mathbb{N}$, is there a computable holomorphic extension of it to $\mathbb{C} \to \mathbb{C}$? That would then actually be an interesting question. – Andrej Bauer May 3 '11 at 16:13

Any complex-valued function on $\mathbb{N}$ can be extended to an entire function, so the answer is "yes." This follows from Theorem 15.13 of Rudin's Real and Complex Analysis, which states that for any open set $\Omega$ in $\mathbb{C}$ and subset $A$ of $\Omega$ without limit points, there exists a holomorphic function on $\Omega$ taking prescribed values at all the points of $A$.