In cases where we are currently unable to uniformly compute the values of a function (or decide a pr...