<fray_fernando@mydeja.com> wrote:
+
 <dzemo@fesb.hr> wrote:
 > Are there doctoral thesis in LISP, closed to mathematics?
 > And whom to ask, where to look?

 Gregory J. Chaitin has written a few math books that use lisp...
+
Yup. See <URL:http://www.cs.umaine.edu/~chaitin/>, especially
<URL:http://www.cs.umaine.edu/~chaitin/lisp.html>.
Though his "Lisp" really isn't. It's closer to a subset of Scheme
[yes, subset  even smaller than R4RS!!] that's had most of the
parentheses removed. From the second URL above:
Now actually I don't like to write all these parentheses.
LISP programmers haven't heard about parenthesisfree
Polish notation! So I just write
define (fact N)
if = N 1 1
* N (fact  N 1)
The other parentheses are understood.
The only reason this works at all is that in his tiny subset all
forms and functions have fixed arity that's already known when
the expression is parsed.
Personally, I find it almost unreadable, and I really, *really*
wish he'd just stuck with standard Sexpression notation. (*sigh*)
At worst it would have lengthened slightly the constant prefix
program his proofs require (currently 410 characters). It wouldn't
have changed the math at all.
On the flip side, the math is sort of interesting. The use of "elegant
Lisp programs" and the Berry paradox to derive an easilyunderstood
proof that's equivalent to Godel's incompleteness is (IMHO) worth the
minor bit of irritation at his needlesslyincompatible notation.
Rob

Rob Warnock, 312510 rpw3@sgi.com
SGI Network Engineering http://reality.sgi.com/rpw3/
1600 Amphitheatre Pkwy. Phone: 6509331673
Mountain View, CA 94043 PPASELIA