Re: computability, what computers can do

MikeStTA@AOL.COM
Fri, 15 Sep 1995 14:19:23 -0400


In a message dated 95-09-15 14:10:17 EDT, Don wrote:

> We have found great help in the writings of
>Chaitin, Kampis, Rosen, etc. and fear that you still seem to take those
>demonstrations too lightly ...

I am familiar with Rosen, and (recently) Chaitin, but not Kampis or etc. Can
I impose on you to describe the thrust of their (Kampis, etc.) work and
provide some introductory references?
Thanks much.
Mike Lash