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 philosophical text. Here are the last posts I send: 1) Bijections 1 http://www.mail-archive.com/everything-lis...m/msg13962.html 2) Bijections 2 http://www.mail-archive.com/everything-lis...m/msg13986.html 3) Bijection 3 http://www.mail-archive.com/everything-lis...m/msg13991.html 4) Cantor's diagonal http://www.mail-archive.com/everything-lis...m/msg13996.html Don't hesitate to ask any question if something remains unclear, Bruno PS: I recall the combinators thread, which could help later (but please don't consult them now, unless you already love lambda calculus or the combinators). The old (2005) combinators posts: http://www.mail-archive.com/everything-list@eskimo.com/msg05920.html http://www.mail-archive.com/everything-list@eskimo.com/msg05949.html http://www.mail-archive.com/everything-list@eskimo.com/msg05953.html http://www.mail-archive.com/everything-list@eskimo.com/msg05954.html http://www.mail-archive.com/everything-list@eskimo.com/msg05955.html http://www.mail-archive.com/everything-list@eskimo.com/msg05956.html http://www.mail-archive.com/everything-list@eskimo.com/msg05957.html http://www.mail-archive.com/everything-list@eskimo.com/msg05958.html http://www.mail-archive.com/everything-list@eskimo.com/msg05959.html http://www.mail-archive.com/everything-list@eskimo.com/msg05961.html http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ 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 http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---