A computer program, currently, is an attempt to mathematize; and the goal of traditional computer science is to refine the process of creating a computer program to the purely formal / mathematical. It is still an attempt, because a huge gulf remains between what I want and can say about what I want in a natural language and what the computer can 'hear' with its mathematical 'ears.'
davew On Fri, 11 Jul 2008 15:30:47 -0600, "Marcus G. Daniels" <[EMAIL PROTECTED]> said: > 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 > > > > > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > lectures, archives, unsubscribe, maps at http://www.friam.org ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org