Michael Agar wrote: > Is a computer program a mathematization? > Proof is that Mathematica is in large part written in the functional programming language Mathematica, and Macsyma/Maxima written in Lisp. Marcus