[mrbungie]

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?

[emmender2]

indeed, and that goes into the heart of it.

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.