Re: Thirty metre telescope

On Wed, Oct 31, 2018 at 6:17 PM Russell Standish wrote: > > *I'm surprised John Clark is not already all over this - good news from > Hawaii:* > https://www.nature.com/articles/d41586-018-0-2 Thanks Russell, that is good news!! By the way, I noticed that one of the nitwit opponent of the

Thirty metre telescope

I'm surprised John Clark is not already all over this - good news from Hawaii: https://www.nature.com/articles/d41586-018-0-2 NEWS 31 October 2018 Embattled Thirty Meter Telescope scores big win in Hawaii’s highest court State supreme court rules that the US$1.4-billion observatory’s

Re: Mathematical Universe Hypothesis

On Wednesday, October 31, 2018 at 11:13:17 AM UTC-5, John Clark wrote: > > > > On Tue, Oct 30, 2018 at 1:30 PM Philip Thrift > wrote: > > > *More formally, a **Zeno machine is a Turing machine that* > > > The rules of Zeno's machine never change so if its a Turing Machine it's > must be a

Re: Mathematical Universe Hypothesis

> On 30 Oct 2018, at 12:33, agrayson2...@gmail.com wrote: > > > > On Tuesday, October 30, 2018 at 9:45:09 AM UTC, Bruno Marchal wrote: > >> On 29 Oct 2018, at 17:54, agrays...@gmail.com wrote: >> >> >> >> On Monday, October 29, 2018 at 4:07:41 PM UTC, John Clark wrote: >> On Sun, Oct 28,

Re: Mathematical Universe Hypothesis

> On 30 Oct 2018, at 12:01, Tomas Pales wrote: > > > > On Tuesday, October 30, 2018 at 10:36:59 AM UTC+1, Bruno Marchal wrote: > > Any object can be inconsistently defined. I can define the moon by the set of > squared circles. > > The set of squared circles is the empty set. The moon is

Re: Mathematical Universe Hypothesis

> On 30 Oct 2018, at 10:50, Philip Thrift wrote: > > > > On Tuesday, October 30, 2018 at 4:29:01 AM UTC-5, Bruno Marchal wrote: > >> On 29 Oct 2018, at 11:24, Philip Thrift > >> wrote: >> >> >> >> On Monday, October 29, 2018 at 4:35:39 AM UTC-5, Bruno Marchal wrote: >> >> >> Because

Re: Schrodinger bacteria

> On 30 Oct 2018, at 23:49, Brent Meeker wrote: > > > > On 10/30/2018 3:39 PM, John Clark wrote: >> On Tue, Oct 30, 2018 at 3:28 PM Brent Meeker > > wrote: >> >> > But they are really just showing that the bacterial antennae that absorb >> > photons are in a

Re: Mathematical Universe Hypothesis

On Tue, Oct 30, 2018 at 1:30 PM Philip Thrift wrote: > *More formally, a **Zeno machine is a Turing machine that* The rules of Zeno's machine never change so if its a Turing Machine it's must be a one state Turing Machine, the very simplest type. But there are only 64 different one state

Re: Mathematical Universe Hypothesis

On Tue, Oct 30, 2018 at 10:16 PM wrote: >>What you described is a infinite number of FIXED length discrete steps, >> and if that is what motion is motion would indeed be impossible, but its >> not the infinity that makes it impossible its the fixed length. >> > > *>Of course it's the infinity

Re: The hard problem of matter

On Wednesday, October 31, 2018 at 6:15:18 AM UTC-5, Bruno Marchal wrote: > > > On 30 Oct 2018, at 11:34, Philip Thrift > > wrote: > > > > On Tuesday, October 30, 2018 at 4:30:00 AM UTC-5, Philip Thrift wrote: >> >> >> >> On Tuesday, October 30, 2018 at 3:44:03 AM UTC-5, Bruno Marchal wrote: >>>

Re: Combinator 6 (Turing Universality, the Mu operator)

Bruno, Have you looked at various SKI interpreters around that could be used? Several now (on GitHub) in JavaScript. Also in Haskell. And there's the Unlambda system by David Madore. - pt > > -- You received this message because you are subscribed to the Google Groups "Everything List"

Re: Measuring a system in a superposition of states vs in a mixed state

> On 30 Oct 2018, at 14:21, agrayson2...@gmail.com wrote: > > > > On Tuesday, October 30, 2018 at 8:58:30 AM UTC, Bruno Marchal wrote: > >> On 29 Oct 2018, at 13:55, agrays...@gmail.com wrote: >> >> >> >> On Monday, October 29, 2018 at 10:22:02 AM UTC, Bruno Marchal wrote: >> >>> On 28

Re: The hard problem of matter

> On 30 Oct 2018, at 11:34, Philip Thrift wrote: > > > > On Tuesday, October 30, 2018 at 4:30:00 AM UTC-5, Philip Thrift wrote: > > > On Tuesday, October 30, 2018 at 3:44:03 AM UTC-5, Bruno Marchal wrote: > >> On 29 Oct 2018, at 12:04, Philip Thrift > wrote: >> >> >> >> On Monday,

Re: The hard problem of matter

> On 30 Oct 2018, at 10:30, Philip Thrift wrote: > > > > On Tuesday, October 30, 2018 at 3:44:03 AM UTC-5, Bruno Marchal wrote: > >> On 29 Oct 2018, at 12:04, Philip Thrift > >> wrote: >> >> >> >> On Monday, October 29, 2018 at 5:05:03 AM UTC-5, Bruno Marchal wrote: >> >>> On 28 Oct

Combinator 6 (Turing Universality, the Mu operator)

Hi, Last time I gave an exercise, and a big part of the solution. See below (*). Let me recall what happened, and illustrate perhaps a little more. Apology for the type errors, please asks any question at any steps of your reading from combinators 1 to here and of course further. No doubt