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.domain.name.hidden/msg05920.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05949.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05953.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05954.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05955.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05956.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05957.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05958.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05959.html
> http://www.mail-archive.com/everything-list.domain.name.hidden/msg05961.html
>
>
> http://iridia.ulb.ac.be/~marchal/
>
> >
--
Günther Greindl
Department of Philosophy of Science
University of Vienna
guenther.greindl.domain.name.hidden
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 everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Nov 27 2007 - 11:31:26 PST