"It's interesting and meaningful to ask whether or not computers can do the math humans do. I think the answer keeps coming up "yes" ... but people smarter than me are not convinced. So, we shouldn't be stubbornly reductionist. It hurts nobody to let them have the distinction ... at least for now and possibly forever."
I'm claiming that a universal computer is a good way to normalize the forms and to check that the manipulations between the forms are sound. The point is to track what the special purpose machines are doing, not to do it. The theoreticians would still do the creative side. More than just LaTeX but less than AI. Marcus ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
