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 out

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 th

Re: Church-Turing Thesis

> On 25 Aug 2018, at 01:15, agrayson2...@gmail.com wrote: > > > > On Friday, August 24, 2018 at 12:25:03 PM UTC, telmo_menezes wrote: > On 23 August 2018 at 06:31, > wrote: > > > > > > On Thursday, August 23, 2018 at 2:01:24 AM UTC, Jason wrote: > >> > >> > >> > >> On Wed, Aug 22, 2018

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