On 26/12/2008, at 5:23 AM, Bruno Marchal wrote:
> > On 25 Dec 2008, at 08:05, Abram Demski wrote: > >> >> Bruno, >> >> I agree with Gunther about the two types of machine. The broader >> machine is any system that can be logically described-- a system that >> is governed by rules and has a definite description. > > Then Church thesis entails it is not broader, unless you mean that > the rules are not effective. > > > I might be missing something here, but somebody please give an example of a system that is NOT governed by rules and possesses NO definite description. cheers, K --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
