Re: Why is Church's thesis a Miracle?

> On 12 Sep 2018, at 17:22, Brent Meeker wrote: > > > > On 9/12/2018 2:04 AM, Bruno Marchal wrote: >> Assuming that matter exist, yes, matter appearance is Turing universal, so >> can run any other digital machine, but that does not imply that something >> else cannot run a machine, and

Re: The codical-material universe

> On 12 Sep 2018, at 16:44, John Clark wrote: > > > On Tue, Sep 11, 2018 at 5:32 AM Bruno Marchal > wrote: >> >>> Matter = observable > >>Speed is observable, is speed matter? > > >Yes, > > So adjectives are made of matter. Speed is a physical attribute. Matter

Re: Why is Church's thesis a Miracle?

On 9/12/2018 2:04 AM, Bruno Marchal wrote: Assuming that matter exist, yes, matter appearance is Turing universal, so can run any other digital machine, but that does not imply that something else cannot run a machine, and indeed “run” has been defined first in between any two universal

Re: Why is Church's thesis a Miracle?

On 9/12/2018 1:50 AM, Bruno Marchal wrote: On 11 Sep 2018, at 19:38, Brent Meeker wrote: On 9/11/2018 2:13 AM, Bruno Marchal wrote: Can the universal Diophantine equation emulate a hypercomputer? Might say more on this if asked. That has been explained already in this list more than

Re: The codical-material universe

On Tue, Sep 11, 2018 at 5:32 AM Bruno Marchal wrote: > *>>> Matter = observable* >> >> >>Speed is observable, is speed matter? > > *>Yes, * > So adjectives are made of matter. >*and it belong to the realm of the quanta. * So numbers are made of numbers too. > >>The qualia red is

Re: Why is Church's thesis a Miracle?

> On 11 Sep 2018, at 21:25, John Clark wrote: > > On Mon, Sep 10, 2018 at 4:59 AM Bruno Marchal > wrote: > > >>In the physical world induction is just a rule of thumb that usually works > >>pretty well most of the time, but it seldom works perfectly and never works

Re: Why is Church's thesis a Miracle?

> On 11 Sep 2018, at 19:38, Brent Meeker wrote: > > > > On 9/11/2018 2:13 AM, Bruno Marchal wrote: >>> Can the universal Diophantine equation emulate a hypercomputer? >>> Might say more on this if asked. That has been explained already in this list more than once. Deutsch assume