Re: The codical-material universe

> On 5 Sep 2018, at 11:54, Philip Thrift wrote: > > > > On Wednesday, September 5, 2018 at 2:28:39 AM UTC-5, Bruno Marchal wrote: > >> On 2 Sep 2018, at 21:32, Philip Thrift > >> wrote: >> >> >> >> On Sunday, September 2, 2018 at 8:15:01 AM UTC-5, Bruno Marchal wrote: >> >>> On 30 Aug

Re: The codical-material universe

On Wednesday, September 5, 2018 at 9:12:49 AM UTC-5, Bruno Marchal wrote: > > > On 5 Sep 2018, at 11:54, Philip Thrift > > wrote: > > > > On Wednesday, September 5, 2018 at 2:28:39 AM UTC-5, Bruno Marchal wrote: >> >> >> On 2 Sep 2018, at 21:32, Philip Thrift wrote: >> >> >> >> On Sunday,

Combinator 3 (a bit of Logic)

Hi Jason, Telmo, Brent, others, Some of you might say “OK, combinators combine, and now we know that the combination of S and K, that is, the combinators, can do all combination”. The last post did prove the so-called combinatorial completeness. But that might still seem far from Turing