--- Lukasz Stafiniak <[EMAIL PROTECTED]> wrote:
> Perhaps CIC is simply too impractical.
Probably. Deriving multiplication from zero and S() is like computing m*n
using:
for (i=0; i<m; ++i)
for (j=0; j<n; ++j)
++answer;
We don't expect children to derive arithmetic from axioms. We teach them the
multiplication tables. And children are much smarter than computers. A child
can tell how many fingers you are holding up.
-- Matt Mahoney, [EMAIL PROTECTED]
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=231415&user_secret=fabd7936
