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

From: Mirek Dobsicek <>
Date: Wed, 12 Dec 2007 19:58:08 +0100

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 amount of scribes in order to get it completely. But nothing
fundamental ...

Now, I'm very busy with finishing my phd thesis (study and simulations
of a certain two-qubit procedure, a sort of benchmark).

I guess, I'll be fine at the beginning of the New Year.


You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at
Received on Wed Dec 12 2007 - 14:08:27 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST