On Thu, Feb 14, 2008 at 10:44:11PM -0800, Christoph Maier wrote: > Anyway, if you program something successfully, you can be reasonably > sure that you have formulated the problem completely, without any > face-saving handwaving.
It is for historical reasons that mathematical notation was developed before computer science languages. Here's a thought....I don't see why they couldn't potentially be unified. Why do we necessarily need one syntax for math books and one for software? This is somewhat like what happened with XML. It is an (arguably) human readable markup format that is also machine readable. Imagine if a similar universal notation existed for math speak. Then you could machine verify all the equations in math books! yay! Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
