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 <marchal.domain.name.hidden> 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 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 Jan 29 2008 - 08:58:30 PST