Re: Why is Church's thesis a Miracle?

On Mon, Sep 10, 2018 at 4:59 AM Bruno Marchal wrote: >>In the physical world induction is just a rule of thumb that usually >> works pretty well most of the time, but it seldom works perfectly and never >> works continuously, eventually it always fails. > > >*? You seem to confuse mathematical

UCNC 2019 announcement

http://www.ucnc2019.uec.ac.jp/ Aim and scope The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired

Re: Busy Beaver

> On 11 Sep 2018, at 14:44, Philip Thrift wrote: > > > > On Tuesday, September 11, 2018 at 5:54:06 AM UTC-5, Bruno Marchal wrote: > >> On 11 Sep 2018, at 04:44, agrays...@gmail.com wrote: >> >> Is it not computable because after some value of its argument, its mapped >> value is greater

Re: The codical-material universe

On 9/11/2018 2:45 AM, Bruno Marchal wrote: On 11 Sep 2018, at 01:54, Brent Meeker > wrote: On 9/10/2018 9:34 AM, Philip Thrift wrote: On Monday, September 10, 2018 at 3:25:53 AM UTC-5, Bruno Marchal wrote: On 9 Sep 2018, at 13:06, Philip Thrift >

Re: Why is Church's thesis a Miracle?

On 9/11/2018 2:13 AM, Bruno Marchal wrote: Can the universal Diophantine equation emulate a hypercomputer? Might say more on this if asked. That has been explained already in this list more than once. Deutsch assume a primitive physical reality. That is coherent with the CT part of

Re: The codical-material universe

> On 11 Sep 2018, at 12:43, Philip Thrift wrote: > > > > On Tuesday, September 11, 2018 at 4:18:53 AM UTC-5, Bruno Marchal wrote: > >> On 10 Sep 2018, at 18:34, Philip Thrift > >> wrote: >> >> >> >> On Monday, September 10, 2018 at 3:25:53 AM UTC-5, Bruno Marchal wrote: >> >>> On 9 Sep

Re: Busy Beaver

On Mon, Sep 10, 2018 at 10:44 PM wrote: *>Is it not computable because after some value of its argument, its mapped > value is greater than anything that can be written by a computer? AG* > No that's not the fundamental problem. It is entirely possible that the 5th Busy Beaver number is

Re: Busy Beaver

On Tuesday, September 11, 2018 at 5:54:06 AM UTC-5, Bruno Marchal wrote: > > > On 11 Sep 2018, at 04:44, agrays...@gmail.com wrote: > > Is it not computable because after some value of its argument, its mapped > value is greater than anything that can be written by a computer? AG > > > > No,

Re: Busy Beaver

> On 11 Sep 2018, at 04:44, agrayson2...@gmail.com wrote: > > Is it not computable because after some value of its argument, its mapped > value is greater than anything that can be written by a computer? AG No, even a computer with infinite time and infinite memory is not able to compute it.

Re: The codical-material universe

On Tuesday, September 11, 2018 at 4:18:53 AM UTC-5, Bruno Marchal wrote: > > > On 10 Sep 2018, at 18:34, Philip Thrift > > wrote: > > > > On Monday, September 10, 2018 at 3:25:53 AM UTC-5, Bruno Marchal wrote: >> >> >> On 9 Sep 2018, at 13:06, Philip Thrift wrote: >> >> >> >> On Sunday,

Re: Why is Church's thesis a Miracle?

On Tuesday, September 11, 2018 at 4:06:33 AM UTC-5, Bruno Marchal wrote: > > > On 11 Sep 2018, at 03:11, Philip Thrift > > wrote: > > > > On Monday, September 10, 2018 at 4:11:46 AM UTC-5, Bruno Marchal wrote: >> >> >> I can argue that the Church-Turing thesis entails the falsity of the >>

Re: Combinator 3 (a bit of Logic)

> On 10 Sep 2018, at 13:06, Telmo Menezes wrote: > > Thanks Bruno! Thanks *you*. > Following so far with not problems. Good! I hope the others understand too. It is simple conceptually, compared to the amount of math you need to do to understand Quantum Mechanics. For the combinators,

Re: The codical-material universe

> On 11 Sep 2018, at 01:54, Brent Meeker wrote: > > > > On 9/10/2018 9:34 AM, Philip Thrift wrote: >> >> >> On Monday, September 10, 2018 at 3:25:53 AM UTC-5, Bruno Marchal wrote: >> >>> On 9 Sep 2018, at 13:06, Philip Thrift > >>> wrote: >>> >>> >>> >>> On Sunday, September 9, 2018 at

Re: The codical-material universe

> On 10 Sep 2018, at 20:54, John Clark wrote: > > > > On Sun, Sep 9, 2018 at 6:28 AM Bruno Marchal > wrote: > > > Matter = observable > > Speed is observable, is speed matter? Yes, and it belong to the realm of the quanta. It is observable and sharable. > The

Re: The codical-material universe

> On 10 Sep 2018, at 18:34, Philip Thrift wrote: > > > > On Monday, September 10, 2018 at 3:25:53 AM UTC-5, Bruno Marchal wrote: > >> On 9 Sep 2018, at 13:06, Philip Thrift > >> wrote: >> >> >> >> On Sunday, September 9, 2018 at 5:28:25 AM UTC-5, Bruno Marchal wrote: >> >>> On 8 Sep

Re: Why is Church's thesis a Miracle?

> On 11 Sep 2018, at 01:10, Brent Meeker wrote: > > > > On 9/10/2018 2:11 AM, Bruno Marchal wrote: >> >>> On 9 Sep 2018, at 21:51, Philip Thrift >> > wrote: >>> >>> >>> >>> On Sunday, September 9, 2018 at 10:04:20 AM UTC-5, John Clark wrote: >>> On Sun, Sep

Re: Why is Church's thesis a Miracle?

> On 11 Sep 2018, at 03:11, Philip Thrift wrote: > > > > On Monday, September 10, 2018 at 4:11:46 AM UTC-5, Bruno Marchal wrote: > > I can argue that the Church-Turing thesis entails the falsity of the physical > Church-Turing thesis, even without postulating Mechanism. > If we are machine,