Logicians study this I think in computability theory. It's a hard problem.

https://en.m.wikipedia.org/wiki/Computably_enumerable.