Another candidate for oldest program

Article View: alt.folklore.computers

Article #3774

Back to alt.folklore.computers Previous Next

#3774

From: sli... John C Slimick
Date: Thu, 26 Jul 1990 18:06

22 lines
1366 bytes

A few years ago we got a version of Common LISP, 
and to test it out, I entered the theorem prover
by Hao Wang in the LISP 1.5 manual (copyright 1962).
Appart from one missing function (member, I believe)
it ran without any modification. I believe that
any current version of Common LISP would have 
no trouble with that program.

For those who have been left out, in response to
the claims of the CMU AI people about how efficient
the General Problem Solver (GPS) was in proving the
first so many theorems in _Principia Mathematica_,
Dr. Hao Wang wrote a theorem prover in LISP to do
the same thing. The LISP version was apparently faster,
and required less machine resources. All this about 1960.


john slimick
university of pittsburgh at bradford
bardford pa
sli...@unix.cis.pitt.edu

Technical Details

Message-ID: <26252@unix.cis.pitt.edu>

Path: mbox-mo1.pugleaf.net!gmdzi!unido!mcsun!uunet!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!slimick

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!gmdzi!unido!mcsun!uunet!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!slimick
From: sli...@unix.cis.pitt.edu (John C Slimick)
Newsgroups: alt.folklore.computers
Subject: Another candidate for oldest program
Keywords: oldest, LISP, theorem prover
Message-ID: <26252@unix.cis.pitt.edu>
Date: 26 Jul 90 18:06:59 GMT
Organization: Univ. of Pittsburgh, Computing & Information Services
Lines: 22
Posted: Thu Jul 26 19:06:59 1990
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit