[FOM] Object-Oriented Formal Mathematical Languages

[Victor Makarov]

In June 2000, at the annual meeting of the Association for Symbolic Logic
(the panel discussion on “The Prospects for Mathematical Logic in the 21st  
Century”),
Sam Buss made the following prediction (published in "The Bulletin of 
Symbolic Logic, Vol. 7, Issue 2 (June 2001), p.181):

Prediction #3
  Computer databases of mathematical knowledge will contain, organize,
and retrieve most of the known mathematical literature, by 2030 +- 10 years.
The first step in fulfilling this prediction is to design a formal language
which can faithfully represent mathematical objects and constructions in a 
flexible,
extensible way. Perhaps an object-oriented language would be a good choice 
for this;
however, present-day object-oriented languages are not adequate for
representing mathematical objects.”

Is anyone aware of current work in this direction (design of object-oriented 
formal mathematical languages)?

Thanks in advance,
Victor Makarov

http://homepages.nyu.edu/~yvm204/vm/vm.htm

_________________________________________________________________
FREE pop-up blocking with the new MSN Toolbar – get it now! 
http://toolbar.msn.com/go/onm00200415ave/direct/01/