[FOM] Object-Oriented Formal Mathematical Languages

Victor Makarov viktormakarov at hotmail.com
Tue Apr 27 10:56:06 EDT 2004

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  
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 
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


FREE pop-up blocking with the new MSN Toolbar – get it now! 

More information about the FOM mailing list