Dear Bruno, thanks for your posts! I like them very much! Looking forward to further stuff,
Günther Bruno Marchal wrote: > > > 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/ > > > -- Günther Greindl Department of Philosophy of Science University of Vienna [EMAIL PROTECTED] http://www.univie.ac.at/Wissenschaftstheorie/ Blog: http://dao.complexitystudies.org/ Site: http://www.complexitystudies.org --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---