FOM: McCarthy

Thomas Forster T.Forster at
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


More information about the FOM mailing list