Re: set theory
Thomas Forster (T.Forster@pmms.cam.ac.uk)
Sun, 14 Aug 94 18:43 BST
The point is that type theory is unimplemented mathematics,
and set theory is implemented mathematics. Which you want
depends on what you are trying to do. Mostly (ask any
mathematician!) you don't want set theory, but it does have
its uses.....
Thomas Forster