Hi Mirek, Brent, Barry, David, ... and all those who could be
interested in the INTRO to Church thesis,
I have to go, actually. Just to prepare yourself to what will follow,
below are recent links in the list . It could be helpful to revise a
bit, or to ask last questions.
I will ASAP come back on Cantor's Diagonal, (one more post), and then I
will send the key fundamental post where I will present a version of
Church thesis, and explain how from just CT you can already derive what
I will call the first fundamental theorem. This one says that ALL
universal machine (if that exists) are insecure.
It is needed to explain why Lobian machine, which are mainly just
Universal machine knowing that they are universal, cannot not be above
all "theological" machine. As you can guess, knowing that they are
universal, will make them know that they are insecure.
All the term here will be defined precisely. In case you find this
theorem depressing, I suggest you read "The Wisdom of Insecurity" by
Alan Watts (Pantheon Books, Inc. 1951). An amazingly "lobian" informal
Here are the last posts I send:
1) Bijections 1
2) Bijections 2
3) Bijection 3
4) Cantor's diagonal
Don't hesitate to ask any question if something remains unclear,
I recall the combinators thread, which could help later (but please
don't consult them now, unless you already love lambda calculus or the
The old (2005) combinators posts:
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at