Wouldn't this apply to any kind of numerical or logical model (i.e. a model learned over preexisting data) used in a software solution?
ie, things we construct by the computer are deterministic. the turing machine (and other equivalent models like the lambda calculus etc) being the canonical machine that models our computations. Arguably, all human knowledge is symbolic and determistic - even though it may model probabilistic phenomena.