Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 21 Apr 1993 08:12:24 +0100
Received: by antares.mcs.anl.gov id AA07965 (5.65c/IDA-1.4.4 for qed-outgoing);
          Wed, 21 Apr 1993 02:04:41 -0500
Received: from Maui.CS.UCLA.EDU by antares.mcs.anl.gov with SMTP 
          id AA07958 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Wed, 21 Apr 1993 02:04:38 -0500
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA00136;
          Wed, 21 Apr 93 00:04:34 -0700
Message-Id: <9304210704.AA00136@maui.cs.ucla.edu>
To: qed@mcs.anl.gov
Subject: Why should a mathematician be interested in QED?
Date: Wed, 21 Apr 93 00:04:32 PDT
From: chou@CS.UCLA.EDU
Sender: qed-owner@mcs.anl.gov
Precedence: bulk

I think the success or failure of the QED project depends crucially
on the answer to the following question:

    Why should a mathematician be interested in QED?

I hope the mathematicians, rather than the computer scientists
who are interested in math (like myself), on this mailing list
can share their views with us.

- Ching Tsun