[throwawaymaths]

> Whether a particular function pointer resolves to certain functions

This is only a turing completeness issue if the list of functions is infinite. It is not, in zig.

[gavinhoward]

You don't need an infinite list of functions to run into the problems with Turing-completeness. You only need effectively infinite behavior, which means all you need is effectively infinite possible inputs.

[throwawaymaths]

this is simply untrue. I'm sorry. I recommend studying math a bit more rigorously before making claims in the future.