Hi John,
Le 11-nov.-07, à 23:33, John Mikes a écrit : > Bruno, I hope it will be accessible to me, too, by simple computerese > software. Normally there should be no difficulties. My goal is not to explain all the technics, but the minimal things which I estimate to be necessary for having a basic general idea of what is going on. My first goal, perhaps my main goal, is to explain Church Thesis CT. To explain why CT is a very strong hypothesis, with a uniform deep impact on everything, and mainly on "theories of everything". I want also to explain more clearly the difference between Tegmark, Schmidhuber, and "comp", etc. But this needs a minimal amount of "modern math", so as to make clear Cantor's role, and then Church, Kleene. Not really the time today, but hopefully (normally) I will have more time tomorrow, Thanks for letting me know your interest, and your patience, Best, Bruno > > On Nov 8, 2007 11:31 AM, David Nyman <[EMAIL PROTECTED] > wrote: >> >> On Nov 6, 2:37 pm, Bruno Marchal < [EMAIL PROTECTED]> wrote: >> >> > I have almost finished the posts on the lobian machine I have >> promised. >> > I have to make minor changes and to look a bit the spelling. I >> cannot >> > do that this week, so I will send it next week. Thanks for your >> > patience. >> >> Thanks - I'll keep an eye out. >> >> David >> >> > Hi David, >> > >> > I have almost finished the posts on the lobian machine I have >> promised. >> > I have to make minor changes and to look a bit the spelling. I >> cannot >> > do that this week, so I will send it next week. Thanks for your >> > patience. I give you the plan, though, which I will actually also >> > follow for the beginning (and the end) of the ULB-saturday course >> this >> > year: >> > >> > 1) Cantor's diagonal >> > 2) Does the universal digital machine exist? >> > 3) Lobian machines, who and what are they? >> > 4) The 1-person and the 3- machine. >> > 5) Lobian machines' theology >> > 6) Lobian machines' physics >> > 7) Lobian machines' ethics >> > >> > BTW, if some people are near Belgium, I have been invited for doing >> a >> > talk on the UDA at a colloquium on "Logic and Reality" at >> Namur/Louvain >> > in BELGIUM. The other talks seems quite interesting (too, if I may >> say >> > :). Most will be done in english. Program and informations can be >> found >> > here: >> > >> > http://www.logic-center.be/acts/logrea.html >> > >> > Best regards to David, and all of you >> > >> > Bruno >> > >> > http://iridia.ulb.ac.be/~marchal/ >> >> >> >> 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 -~----------~----~----~----~------~----~------~--~---
