- #36

PeterDonis

Mentor

- 46,008

- 22,841

Again, this depends on what mathematical domain you are working in. In the domain assumed in the OP to this thread, H1 and F3SSequence said:What would be correct to say would be that H1 are F3 are not computable functions.

*do not exist*. Since they do not exist, it is meaningless to even ask whether they are functions. Similar remarks apply to "computable".

If you expand your domain to include, for example, "oracles", as in your previous posts, then H1 and F3 can exist in that expanded domain and you can ask questions like whether they are computable or non-computable. But you have to be working in a domain where they exist to begin with to even pose those questions.