Delivery-Date: 
Message-Id: <ggLihF_KmlE2EFFGhG@arp>
Date: Wed, 4 Aug 1993 08:48:49 +1000 (EST)
From: Zdzislaw Meglicki <Zdzislaw.Meglicki@arp.anu.edu.au>
To: qed@mcs.anl.gov
Subject: Re: from idea to project
In-Reply-To: <01H1AMQV4V0O90NYL7@delphi.com>
References: <01H1AMQV4V0O90NYL7@delphi.com>
Sender: qed-owner@mcs.anl.gov

In  <01H1AMQV4V0O90NYL7@delphi.com> LYBRHED@delphi.com writes:

> [...] Why not take the 
> NeXT Cube as a prototype of QED?

Good and elegantly designed computer systems such as NeXT certainly
greatly facilitate working on difficult projects, but I would be
reluctant to embrace a particular hardware/software platform for a
system as important as QED. To begin with NeXT is very little known
outside of the US. I have never seen this machine in Australia, although
I've heard occasional rumours that someone is selling them here. QED
ought to be highly portable. 

Perhaps a better idea would be to borrow whatever valuable software
technology and ideas are required for QED from NeXT and other systems
and combine them with the work that has been already done in this area
so far. And, as it has been pointed recently by holmes@diamond.idbsu.edu
there are already many advanced systems for implementing mathematics at
various levels of formalism available. 

   Zdzislaw Meglicki, Zdzislaw.Meglicki@anu.edu.au,
   Automated Reasoning Program - CISR, and Plasma Theory Group - RSPhysSE,
   The Australian National University, G.P.O. Box 4, Canberra, A.C.T., 2601, 
   Australia, fax: (Australia)-6-249-0747, tel: (Australia)-6-249-0158