Re: Combinators 1 (Introduction)

On Sun, Aug 5, 2018 at 2:05 PM Bruno Marchal wrote: > Hi Jason, > > > On 5 Aug 2018, at 05:24, Jason Resch wrote: > > > > On Sat, Jul 28, 2018 at 2:19 PM Bruno Marchal wrote: > >> Hi Jason, people, >> >> > Hi Bruno, > > Thank you for this. I've been trying to digest it over the past few days.

Re: The codical-material universe

On 9/16/2018 11:07 AM, Bruno Marchal wrote: No problem. I can explain why you will need a non computationalist theory of mind. Given that there is no evidence at all for primary matter, nor for a non computationalist theory of mind, that seems very speculative to me. I am aware that many

Re: The codical-material universe

On Sunday, September 16, 2018 at 1:07:34 PM UTC-5, Bruno Marchal wrote: > > > On 15 Sep 2018, at 22:56, Philip Thrift > > wrote: > > > > On Saturday, September 15, 2018 at 10:27:07 AM UTC-5, John Clark wrote: >> >> On Fri, Sep 14, 2018 at 12:22 PM Bruno Marchal wrote: >> >> >>> >>> you claim

Re: The codical-material universe

> On 15 Sep 2018, at 22:56, Philip Thrift wrote: > > > > On Saturday, September 15, 2018 at 10:27:07 AM UTC-5, John Clark wrote: > On Fri, Sep 14, 2018 at 12:22 PM Bruno Marchal > wrote: > > >>> you claim nonphysical calculations can be performed, but you also say > >>> space and time and

Re: The codical-material universe

> On 15 Sep 2018, at 17:26, John Clark wrote: > > On Fri, Sep 14, 2018 at 12:22 PM Bruno Marchal > wrote: > > >>> you claim nonphysical calculations can be performed, but you also say > >>> space and time and even spacetime are physical, so how can you have > >>>

Re: Combinator 5 (Numbers)

Hi, We will implement the numbers with the combinators. In particular we will emulate Robinson Arithmetic(*) with the combinators. Robinson arithmetic is classical logic + 1) 0 ≠ s(x) 0 is not a successor of any number x 2) s(x) = s(y) -> x = y Different