# [FOM] Object-Oriented Formal Mathematical Languages

Thomas Forster T.Forster at dpmms.cam.ac.uk
Thu Apr 29 04:40:19 EDT 2004



Surely the deep message of the paradoxes and incompleteness theorems is
that all attempts to construct encyclopaedias in this sense is doomed?
Won't there always be new discoveries that explode current notation?  (It
would be a useful exercise to explain properly quite why this is so)  One
can have fun trying, and the endeavour can provoke a lot of good work but
let's not go overboard...

Thomas Forster

On
Wed, 28 Apr 2004, Brian Postow wrote:

> Victor Makarov spake:
> >
> > Is anyone aware of current work in this direction (design of object-oriented
> > formal mathematical languages)?
>
> I guess I'm not entirely sure what you are looking for here. There are
> several object oriented models at the level of the lambda
> calculus. The $\varsigma$ calculus by Cardelli and Abadi and the
> $\lambda \&$ calculus by Castagna are two good places to start.  I
> wrote a survey article a few years ago that I'm still half heartedly
> trying to find a place to publish if you are interested.
>
> Brian Postow
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>