Matthew van Eerde wrote:
// koan: what is the mean of the empty set?
Ooh. Good question. There isn't one. When you define a set you must define the domain of the elements (which can just be the set if you want, but that isn't very useful), so for example the elements 1,3,5 can be defined as the
integer set {1,3,5} or the real set {1.0,3.0,5.0} or the complex set {1+0i,3+0i,5+0i} etc.
Any internal operation on the set must be strictly a member of the set, so the mean of int{1,3,5} is 2, of {1.0,3.0,5.0} is 2.666... and of {1+0i,3+0i,5+0i} is 2.66....+ 0i.
The only exceptions are the length of a set (which is a set operator) which is defined as a Natural number and the subset of a set, which is a set over the same domain (or a subset of the same domain).
The problem with the empty set is that you can define it's domain-independant. This means that not only is the mean undefined, it's domain is unconstrained, so it might not even be a number.