FOM: McCarthy
Thomas Forster
T.Forster at dpmms.cam.ac.uk
Wed Feb 6 16:42:34 EST 2002
Thanks to all who send in the text - which reads as follows:
``It is reasonable to hope that the relationship between computation and
mathematical logic will be as fruitful in the next century as that
between analysis and physics
in the last. The development of this relationship demands a concern for
both applications and for mathematical elegance.''
v best wishes
Thomas
More information about the FOM
mailing list