19 Apr
2001
19 Apr
'01
9:19 p.m.
Paul Taylor wrote:
Hereditarily-finite sets are becoming increasingly more popular in computer science research.
Why? Because some ill-advised first year maths lecturer told you that the element relation was the foundation of mathematics, maybe?
Maybe because someone read papers by Friedman (1977) which gave the set theory B which is [Beeson] "the theory of hereditary extensional sets of finite rank" and which is strong enough to model Bishop-style constructive mathematics. This seems to be a good reason. Elwood -- Dr Elwood Wilkins tel: (+44) (0)1206 872771 Senior Research Officer fax: (+44) (0)1206 872788 Department of Computer Science University of Essex, Colchester, Essex, UK