Re: KIM 2.3 (was Re: Time)

Bruno Marchal wrote: > > On 14 Jan 2009, at 18:40, Brent Meeker wrote: > >> Stathis Papaioannou wrote: >>> 2009/1/14 Brent Meeker wrote: >>> However a Turing machine is not just a set of states, it also requires a set of transition rules. So in the same abstract way that the

Re: KIM 2.3 (was Re: Time)

Bruno Marchal wrote: > > On 14 Jan 2009, at 18:52, Quentin Anciaux wrote: > >> Hi, >> >> 2009/1/14 Brent Meeker > > >> >> >> Stathis Papaioannou wrote: >> > 2009/1/14 Brent Meeker > > wrote: >> > >> >> However a

Re: KIM 2.3 (was Re: Time)

On 14 Jan 2009, at 18:52, Quentin Anciaux wrote: > Hi, > > 2009/1/14 Brent Meeker > > Stathis Papaioannou wrote: > > 2009/1/14 Brent Meeker wrote: > > > >> However a Turing machine is not just a set of states, it also > requires a > >> set of transition rules. So in the same abstract way tha

Re: KIM 2.3 (was Re: Time)

On 14 Jan 2009, at 18:40, Brent Meeker wrote: > > Stathis Papaioannou wrote: >> 2009/1/14 Brent Meeker wrote: >> >>> However a Turing machine is not just a set of states, it also >>> requires a >>> set of transition rules. So in the same abstract way that the >>> integers >>> are ordered b

Re: KIM 2.3 (was Re: Time)

Stathis Papaioannou wrote: > 2009/1/15 Brent Meeker wrote: > >>> In an actual physical computer the transition rules are represented by >>> the causal links between the states, so that a particular input will >>> reliably give rise to a particular output. But I return to my question >>> about wh

Re: KIM 2.3 (was Re: Time)

2009/1/15 Brent Meeker wrote: >> In an actual physical computer the transition rules are represented by >> the causal links between the states, so that a particular input will >> reliably give rise to a particular output. But I return to my question >> about what would happen if there were a dis

Re: KIM 2.3 (was Re: Time)

2009/1/15 John Mikes wrote: > Stathis: (from reply to Brent): > "I return to my question about what would happen if there were a > discontinuity in a sequence of states,..." > There IS discontinuity if the state "transits'(?) from s1 to s2. > Do you have any idea how one can observe a changed sta