FOM: McCarthy

David J. Pym d.j.pym at
Wed Feb 6 12:48:22 EST 2002

Thomas Forster wrote:
> Can anyone supply ref, or exact wording, of the remark of John
> McCarthy's that Logic and computational complexity will be as rich
> a source of stimuls for mathematics in the 21st century as Mathematical
> Physics was in the last?
>     thanks
>         Thomas Forster

``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.''  

Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Mobile: +44 (0)7 770 941 725 
Email: d.j.pym at         Web:

More information about the FOM mailing list