Re: set theory

Thomas Forster (T.Forster@pmms.cam.ac.uk)
Sun, 14 Aug 94 18:43 BST

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: F. Javier Thayer: "Re: set theory vs type theory"
Previous message: John McCarthy: "Re: More replies to JMC"
Maybe in reply to: David McAllester: "set theory"

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

Next message: F. Javier Thayer: "Re: set theory vs type theory"
Previous message: John McCarthy: "Re: More replies to JMC"
Maybe in reply to: David McAllester: "set theory"