You can't prove an S-expr is elegant!

From: Gregory J. Chaitin
Subject: You can't prove an S-expr is elegant!
Date: Tue, 15 Apr 1997 00:00:00 +0000
Message-ID: <33539BFE.167E@watson.ibm.com>

Hi, thought you might care to know about my
latest paper, ``Elegant LISP Programs,'' using
LISP to prove information-theoretic incompleteness
results.  The paper is an easy to understand 
lecture transcript.  Its URL is 
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/lisp.html
Related papers are also there; for the index go to
http://www.cs.auckland.ac.nz/CDMTCS/chaitin
Rgds,
GJC