Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!newshost.marcam.com!charnel.ecst.csuchico.edu!csusac!csus.edu!netcom.com!NewsWatcher!user
From: hbaker@netcom.com (Henry Baker)
Subject: Re: Understanding Godel (was Re: CL grammar ambiguities?)
Message-ID: <hbaker-0303951907490001@192.0.2.1>
Sender: hbaker@netcom10.netcom.com
Organization: nil
References: <WGD.95Feb10182248@martigny.ai.mit.edu> <19950217T185851Z.enag@naggum.no> <3i5dpq$a90@tools.near.net> <3ihgaa$5jc@gap.cco.caltech.edu> <D4prB4.133@rheged.dircon.co.uk>
Date: Sat, 4 Mar 1995 03:06:10 GMT
Lines: 25

In article <D4prB4.133@rheged.dircon.co.uk>, simon@rheged.dircon.co.uk
(Simon Brooke) wrote:

> In article <3ihgaa$5jc@gap.cco.caltech.edu>, Seth LaForge
> <sethml@off.ugcs.caltech.edu> wrote about Godel's Theorem, and about
> Barry Margolin's <barmar@nic.near.net> guess that it was applicable to
> the notations used to describe the formal semantics of programming
> languages <3i5dpq$a90@tools.near.net>. Seth went on to say:

Why don't you read the master himself?  For $4.95 at your local bookstore,
no less!

Godel, Kurt.  On Formally Undecidable Propositions of Principia Mathematica
and Related Systems.  Transl. B. Meltzer.  Dover Publs., NY 1992.
ISBN 0-486-66980-7.

I have found that in many cases, the guy who originates the idea usually
provides the best motivation for what he is doing.  Too many of the
'reformatters' kill the motivation, and without it, too many rabbits
get pulled out of the hat.  (Perhaps this is in that fine tradition of
mathematics -- to cover all tracks of how a proof was discovered.)

-- 
www/ftp directory:
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
