Re: Why is Church's thesis a Miracle?

On Sunday, September 9, 2018 at 10:04:20 AM UTC-5, John Clark wrote: > > On Sun, Sep 9, 2018 at 6:44 AM Bruno Marchal > wrote: > > >>Nobody on this planet uses the term "Löbian machine" except you. >> >> > > >*It is just a more precise version of what popular books described by >>

Re: Why is Church's thesis a Miracle?

On Sun, Sep 9, 2018 at 6:44 AM Bruno Marchal wrote: >>Nobody on this planet uses the term "Löbian machine" except you. > > >*It is just a more precise version of what popular books described by > “sufficiently rich theory”.* > There is nothing precise about homemade slang used by nobody but

Re: The codical-material universe

On Sunday, September 9, 2018 at 5:28:25 AM UTC-5, Bruno Marchal wrote: > > > On 8 Sep 2018, at 23:53, John Clark > > wrote: > > > Bruno Marchal Wrote: > > *> I cannot see primary matter. In fact I am not sure what you mean by >> matter, or by “mathematical-material universe”. [...] I have

Re: Why is Church's thesis a Miracle?

> On 9 Sep 2018, at 01:12, John Clark wrote: > > On Sun, Sep 2, 2018 at 2:19 PM Bruno Marchal > wrote: > > > A function is computable if we can explain to a dumb (but docile) human > > being how to compute it, on any of its argument. > > And some functions (the

Re: The codical-material universe

> On 8 Sep 2018, at 23:53, John Clark wrote: > > > Bruno Marchal Wrote: > > > I cannot see primary matter. In fact I am not sure what you mean by matter, > > or by “mathematical-material universe”. [...] I have proven (40 years ago) > > that materialism (the belief in some primary matter,

Re: The codical-material universe

> On 8 Sep 2018, at 14:57, Philip Thrift wrote: > > > > On Saturday, September 8, 2018 at 4:00:41 AM UTC-5, Bruno Marchal wrote: > >> On 7 Sep 2018, at 14:43, Philip Thrift > >> wrote: >> >> >> >> On Friday, September 7, 2018 at 3:59:08 AM UTC-5, Bruno Marchal wrote: >> >>> On 6 Sep