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 <david.nyman.domain.name.hidden > wrote:
>>
>> On Nov 6, 2:37 pm, Bruno Marchal < marc....domain.name.hidden> 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 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 13 2007 - 09:52:30 PST