Re: The codical-material universe

2018-09-20 Thread Bruno Marchal
> On 20 Sep 2018, at 17:09, smitra wrote: > > On 19-09-2018 22:18, John Clark wrote: >> On Wed, Sep 19, 2018 at 4:17 AM Bruno Marchal >> wrote: >> The state of a Turing machine is matched to a number and always has and always will be matched that very same number forever. Nothing

Re: The codical-material universe

2018-09-20 Thread smitra
On 19-09-2018 22:18, John Clark wrote: On Wed, Sep 19, 2018 at 4:17 AM Bruno Marchal wrote: The state of a Turing machine is matched to a number and always has and always will be matched that very same number forever. Nothing changes. _You can say the same for your state here and now. But

Re: Why is Church's thesis a Miracle?

2018-09-20 Thread Bruno Marchal
> On 19 Sep 2018, at 23:14, Brent Meeker wrote: > > > > On 9/19/2018 1:40 AM, Bruno Marchal wrote: >> >>> On 19 Sep 2018, at 03:44, Brent Meeker >> > wrote: >>> >>> >>> >>> On 9/18/2018 4:05 AM, Bruno Marchal wrote: > > I don't think you know what you

Re: The codical-material universe

2018-09-20 Thread Bruno Marchal
> On 19 Sep 2018, at 22:18, John Clark wrote: > > On Wed, Sep 19, 2018 at 4:17 AM Bruno Marchal > wrote: > > >>The state of a Turing machine is matched to a number and always has and > >>always will be matched that very same number forever. Nothing changes. > > >

“foreign functions” as “untrusted oracles”

2018-09-20 Thread Philip Thrift
*“foreign functions” as “untrusted oracles”* in *What is the Foreign Function Interface of the Coq Programming Language?* https://coqworkshop2018.inria.fr/files/2018/07/coq2018_talk_boulme.pdf from FLOC 2018: FEDERATED LOGIC CONFERENCE 2018