Article View: alt.folklore.computers
Article #4180Re: Donald Knuth
From: mnyk...
Date: Fri, 17 Aug 1990 08:30
Date: Fri, 17 Aug 1990 08:30
10 lines
1085 bytes
1085 bytes
In article <74...@helios.TAMU.EDU>, mcg...@cs.tamu.edu (Tim McGuire) writes:
> Knuth, to my knowledge, hasn't written anything on operating systems or
> artificial intelligence. (That doesn't mean, however, that others haven't
> directly applied his research to topics in those fields.)
Was the Knuth-Bendix algorithm for extracting simplification rules out
of algebraic theories originally a problem of abstract languages or AI? The
algorithm has certainly been used in computational logic afterwards..
--
Matti Nyk{nen CS Student at Helsinki U, Finland
Trepanation! email: mnyk...@cc.helsinki.fi
Technical Details
Message-ID:
<2927.26cbab27@cc.helsinki.fi>Path:
mbox-mo1.pugleaf.net!gmdzi!unido!mcsun!sunic!tut!hydra!hylka!mnykanenReferences:
<2919.26ca5a1b@cc.helsinki.fi> <7471@helios.TAMU.EDU>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!gmdzi!unido!mcsun!sunic!tut!hydra!hylka!mnykanen From: mnyk...@cc.helsinki.fi Newsgroups: alt.folklore.computers Subject: Re: Donald Knuth Message-ID: <2927.26cbab27@cc.helsinki.fi> Date: 17 Aug 90 08:30:31 GMT References: <2919.26ca5a1b@cc.helsinki.fi> <7471@helios.TAMU.EDU> Organization: University of Helsinki Lines: 10 Posted: Fri Aug 17 09:30:31 1990 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit