On 10/30/2012 12:38 PM, Bruno Marchal wrote:
We need only to agree on the axioms:
x + 0 = x
x + s(y) = s(x + y)
x *0 = 0
x*s(y) = x*y + x
together with some axioms on equality.
Dear Bruno,
How do you explain the communicability of the meaning of these
axioms? You have written words like "sharable". Is that the explanation?
How does it work?
--
Onward!
Stephen
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
