----- Original Message -----
From: "Mark Collins" <me@thisisnurgle.org.uk>
Sent: Friday, June 28, 2002 5:08 AM
> I disagree. Both are different representations of the same thing. It's
like
> using two different languages to describe a chair. Both are equally
accurate.
Not true. If one is a subset of the other, the superset is more powerful.
For example, 2nd order (predicate) logic
(http://www.earlham.edu/~peters/courses/log/terms3.htm) is a more powerful
description language than 1st order (propositional) logic
(http://www.earlham.edu/~peters/courses/log/terms2.htm) because it
incorporates the
latter. In the same way, algorithms are a superset of math.
David
This archive was generated by hypermail 2b30 : Sun Sep 22 2002 - 05:06:15 MDT