[FOM] Object-Oriented Formal Mathematical Languages
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):
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
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,
FREE pop-up blocking with the new MSN Toolbar get it now!
More information about the FOM