In article <············@bagan.srce.hr>, "D�evad Lugi�" <·····@fesb.hr> wrote:
>Are there doctoral thesis in LISP, closed to mathematics? And whom to ask,
>where to look?
>Thanks in advance.
someone already suggesting checking MIT. i'd recommend stanford as
well, where mccarthy is. check also the reference lists of mccarthy's
paper on the early history of lisp and steele and gabriel's
continuation of the story. also, there was a festshrifft (sp?) for
mccarthy a decade ago or so ago that contained many pointers to
dissertations on lisp (parallel lisps, logics for proving lisp programs
correct, etc.).
if you say what topics you're interested in, you'll get more
specific references.
sashank
In article <············@bagan.srce.hr>,
"D�evad Lugi�" <·····@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, but I
don't if this is what you're looking for... :-?
Sent via Deja.com
http://www.deja.com/
<·············@my-deja.com> wrote:
+---------------
| <·····@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 parenthesis-free
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 S-expression 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 easily-understood
proof that's equivalent to Godel's incompleteness is (IMHO) worth the
minor bit of irritation at his needlessly-incompatible notation.
-Rob
-----
Rob Warnock, 31-2-510 ····@sgi.com
SGI Network Engineering http://reality.sgi.com/rpw3/
1600 Amphitheatre Pkwy. Phone: 650-933-1673
Mountain View, CA 94043 PP-ASEL-IA
In article <············@bagan.srce.hr>,
"D�evad Lugi�" <·····@fesb.hr> wrote:
> Are there doctoral thesis in LISP, closed to mathematics? And whom to ask,
> where to look?
> Thanks in advance.
I'd think your school's library and/or your academic advisor would be good
places to start. After that, i'd contact MIT's library (www.mit.edu); they've
got to have something.
--
Glauber Ribeiro
··········@my-deja.com http://www.myvehiclehistoryreport.com
"Opinions stated are my own and not representative of Experian"
Sent via Deja.com
http://www.deja.com/