Re: Why is Church's thesis a Miracle?

On Sat, Aug 25, 2018 at 2:21 AM wrote: > *>I plan to study Cantor's theorem on the Internet and compare it with you > proof.* Every time Bruno useless a personal pronoun in the "proof" that involves people duplicating machines ask yourself what exactly is the referent. If you can figure it

Re: Combinators 2 (Combinatorial completeness through 3 combinator synthesis algorithms)

Hi Bruno, Just to thank you for this and let you know that I am (finally) following. Will try to finish the combinator 2 exercises this weekend, but I think it's all clear so far. Best, Telmo. On 20 August 2018 at 20:01, Bruno Marchal wrote: > Hi, > > > Don’t hesitate to enlarge your font if

Re: Why is Church's thesis a Miracle?

> On 25 Aug 2018, at 08:21, agrayson2...@gmail.com wrote: > > > > On Thursday, August 23, 2018 at 7:02:21 PM UTC, Bruno Marchal wrote: > Grayson, > > Let me explain you something crazy but absolutely important to understand > about the set of all computable function from N to N. > > It is

Re: Why is Church's thesis a Miracle?

On Thursday, August 23, 2018 at 7:02:21 PM UTC, Bruno Marchal wrote: > > Grayson, > > Let me explain you something crazy but absolutely important to understand > about the set of all computable function from N to N. > > It is true that later, we will be able to identify that with the >