http://www.cs.umaine.edu/~chaitin/lisp.html
Wade
A short summary of Chaitin's central result can be found here:
http://www.flownet.com/gat/chaitin.html
And an interesting discussion of its consequences can be found here:
http://www.mathpages.com/rr/s9-08/9-08.htm
E.