> 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