SV: Rép : Observer Moment = Sigma1-Sentences

From: Lennart Nilsson <lennartn.domain.name.hidden>
Date: Mon, 13 Aug 2007 17:00:02 +0200

-----Ursprungligt meddelande-----
Från: everything-list.domain.name.hidden
[mailto:everything-list.domain.name.hidden] För Bruno Marchal
Skickat: den 13 augusti 2007 16:36
Till: everything-list.domain.name.hidden
Ämne: Re: Rép : Observer Moment = Sigma1-Sentences


>I don't think Church thesis can be grasped
>conceptually without the understanding that the class of programmable
>functions is closed for the diagonalization procedure.

This is something I never grasped but would love to understand.

LN



--~--~---------~--~----~------------~-------~--~----~
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 Mon Aug 13 2007 - 11:00:34 PDT

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