David, Please take your time. As I said to Mirek we have all the time on this list. I know that your motivation consists in clarifying the notion and role of the "first person" in the unravelling of "everything", and I feel a bit uneasy that I have to go back on Cantor and most importantly on Kleene's diagonal argument for explaining that. You can also ask me to go back on the motivations in case I am too technical or in case you loose the main line, which is something easy to do in a long multi-conversation. What I have to do, before getting the math of the 1-person, is to explain the nuance between computability and provability, and then the nuance between provability which, like computability, is a third person notion, and many 1-person (singular and/or plural) notions like knowability, observability and sensibility or sensitivity (I am still searching some words). And I have to make clear that all those notions are quite different from the notion of "truth". But thanks telling me that you are still thinking on my posts, despite your short-of-time-ness (hmmm... that's not english). I will perhaps give soon the solution of how to write a combinator which makes the system looping, though. It is not necessary to understand this to get the main point, but it is helpful for some people in providing example of universal system/language.
Have a good day, Bruno Le 28-janv.-08, à 18:16, David Nyman a écrit : > Bruno, I'm sorry that I'm very short of time just now, but just to let > you know I'm still trying to read and think about, if not comment, on > these posts. > > David > > On 28/01/2008, Bruno Marchal <[EMAIL PROTECTED]> wrote: >> >> Le 25-janv.-08, à 21:10, Mirek Dobsicek a écrit : >> >> > >> > Bruno Marchal wrote: >> >> Title: SUMMARY (was: OM = SIGMA_1) >> >> >> >> I send to David Nyman (the 06 Nov 2007) a little planning: >> >> >> >> 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 >> >> >> >> >> >> Let me summarize what has been done and what remains to be done. >> > >> > Hi Bruno, >> > >> > just want to let you know that I am still following your CT posts. >> >> >> Thanks for saying. Don't hesitate to ask anything in case some points >> are unclear. >> >> >> > I >> > hope to send my comments and/or 'OK' sign :-) on Monday. >> >> >> Take it easy. There is no deadline on the list. >> >> >> > >> > Nice weekend to everyone, >> >> Best, >> >> 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 -~----------~----~----~----~------~----~------~--~---