[Next] [Previous] [Up] [Top] [Contents]
4 Some examples of more expressive systems
4.1 Set Theory
Set theory is perhaps the ultimately expressive mathematical language*1. All other known mathematics and formal systems can be expressed in it, though not necessarily in a natural or easy manner. This, however is a too expressive theory for our purposes.
The Role of Expressiveness in Modelling Structural Change - Bruce Edmonds - 16 MAY 96
[Next] [Previous] [Up] [Top] [Contents]
Generated with CERN WebMaker