FOM: McCarthy quote

Charles Stewart cas at
Sat Feb 9 05:11:50 EST 2002

Dear Thomas,

The quote I think you are refering to is from John McCarthy's 1961 `A
Basis for a Mathematical Theory of Computation' and has this passage
in the conclusions:
   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.

The text can be accessed at:

Charles Stewart

More information about the FOM mailing list