FOM: McCarthy quote

[Charles Stewart]

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:
  http://www-formal.stanford.edu/jmc/basis1/basis1.html

Charles Stewart
http://www.linearity.org/cas