Re: Observer Moment = Sigma1-Sentences

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Fri, 17 Aug 2007 18:27:41 +0200

Le 17-août-07, à 18:12, David Nyman a écrit :



>
> On 16/08/07, Bruno Marchal <marchal.domain.name.hidden> wrote:
>
>> OK. I will come back on this too.
>
> I'm away until next Thursday, so I'll continue to think about - and
> reserve my response to - your last post until I return. I've
> received Albert, Cutland, and Franzen, so I've got plenty of bed-time
> reading :-)





You are more lucky than me. I have ordered "Logical number theory" by
Smorynski since years, and Amazon keeps up asking me if I really want
it, and I have to confirm each time! Then, recently they abandon the
search .... Could books disappear?

Take your time, and enjoy the reading. At the same time, I would say
you can also just consult them, ... (don't expect to get that stuff in
some quick linear way ...).

I propose to focus on Cantor theorem. It is a good first step, even for
just the less technical Universal Dovetailer Argument (UDA), or even
just Church's Thesis.

See you (electronically) next week,

Good week-end for all of you,

Bruno


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 Fri Aug 17 2007 - 12:27:54 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST