If you can definitely a problem rigorously, you've essentially defined a function. So "function approximation" is basically "general problem solving approximation".