Re: Key Post 1, toward Church Thesis and Lobian machine

2007-12-12 Thread Mirek Dobsicek
Hi Bruno, From what you told me, I think you have no problem with Cantor 's diagonal. Yep, no problem. Are you ok with the key post, that is with the two supplementary uses of the diagonal in the enumerable context? 95% grasped, and for the rest I'm lacking time to do a sufficient

Re: Key Post 1, toward Church Thesis and Lobian machine

2007-12-12 Thread Barry Brent
Seems fine to me too. Barry On Dec 12, 2007, at 12:58 PM, Mirek Dobsicek wrote: Hi Bruno, From what you told me, I think you have no problem with Cantor 's diagonal. Yep, no problem. Are you ok with the key post, that is with the two supplementary uses of the diagonal in the