Re: Machines was:Kim 2.1

From: Kim Jones <kimjones.domain.name.hidden>
Date: Fri, 26 Dec 2008 08:27:29 +1100

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 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 Thu Dec 25 2008 - 16:28:00 PST

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