response to Meglicki

Bill McCune <mccune>

Mail folder: QED
Next message: Gene Rackow: "manifest"
Previous message: Ted Ashton: "Re: QED, Bourbaki and Mathematica"
Reply: David McAllester: "the base logic"

From: Bill McCune <mccune>
Date: Tue, 13 Apr 93 10:25:52 CDT
Message-id: <9304131525.AA01463@lutra.mcs.anl.gov>
To: qed@mcs.anl.gov
Subject: response to Meglicki
Sender: qed-owner
Precedence: bulk

(I'm sorry about my previous, misdirected message.)

Zdzislaw Gustav Meglicki writes: 

> The three issues mentioned above: knowledge data base, user interface,
> and language seem to me to be quite fundamental to the project.

I hope that there will be many implementations associated with QED,
with different types of knowledge bases, different user interfaces,
and written in different programming languages.  Of course there will
have to be (at some level) a common language for formulas, proofs, etc.,
but that seems like a small issue once the base logic is fixed.

It seems to me that the fundamental issues are the goals of the project
and the base logic.

  Bill McCune

  ---------------------------------------------------------------------
  |  William W. McCune              |    e-mail:  mccune@mcs.anl.gov  |
  |  MCS-221                        |    phone:   (708) 252-3065      |
  |  Argonne National Laboratory    |    FAX:     (708) 252-5986      |
  |  Argonne, IL  60439-4844        |                                 |
  |  U.S.A.                         |                                 |
  ---------------------------------------------------------------------

Replied: Wed, 14 Apr 1993 12:57:51 -0500
Replied: "Gene Rackow <rackow> "