Re: Are proofs equivalent to dovetailing computations?

2019-08-16 Thread Jason Resch
On Fri, Aug 16, 2019 at 6:31 PM Russell Standish wrote: > On Fri, Aug 16, 2019 at 12:06:32PM -0500, Jason Resch wrote: > > > > Thanks for the background and explanation. Is it the case then that any > > undecidable (creative?) set is a compact description of universal > dovetailing? > > Would Ch

Re: STEP 3

2019-08-16 Thread smitra
On 16-08-2019 09:01, Bruce Kellett wrote: On Fri, Aug 16, 2019 at 4:43 PM smitra wrote: On 16-08-2019 06:31, Bruce Kellett wrote: On Wed, Aug 14, 2019 at 8:28 AM smitra wrote: On 13-08-2019 13:33, Bruce Kellett wrote: Of course A(x) and B(x) refer to the same point on the screen. That i

Re: Are proofs equivalent to dovetailing computations?

2019-08-16 Thread Russell Standish
On Fri, Aug 16, 2019 at 12:06:32PM -0500, Jason Resch wrote: > > Thanks for the background and explanation.  Is it the case then that any > undecidable (creative?) set is a compact description of universal > dovetailing?  > Would Chaitin's constant also qualify as a compact description of the >

Re: Local Realism and Bell

2019-08-16 Thread Bruce Kellett
On Sat, Aug 17, 2019 at 12:21 AM Bruno Marchal wrote: > On 16 Aug 2019, at 13:30, Bruce Kellett wrote: > > On Fri, Aug 16, 2019 at 9:23 PM Bruno Marchal wrote: > >> On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List < >> everything-list@googlegroups.com> wrote: >> >> On 8/15/2019 5:06

Re: Local Realism and Bell

2019-08-16 Thread Philip Thrift
On Friday, August 16, 2019 at 3:26:47 PM UTC-5, Brent wrote: > > > > On 8/16/2019 4:23 AM, Bruno Marchal wrote: > > > On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List < > everyth...@googlegroups.com > wrote: > > > > On 8/15/2019 5:06 PM, Bruce Kellett wrote: > > On Fri, Aug 16, 2019 a

Re: Local Realism and Bell

2019-08-16 Thread 'Brent Meeker' via Everything List
On 8/16/2019 4:23 AM, Bruno Marchal wrote: On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List > wrote: On 8/15/2019 5:06 PM, Bruce Kellett wrote: On Fri, Aug 16, 2019 at 9:25 AM Lawrence Crowell >

Re: The August 14 Black Hole - Neutron Star merger

2019-08-16 Thread Lawrence Crowell
On Friday, August 16, 2019 at 5:35:44 AM UTC-5, John Clark wrote: > > Yesterday August 14 2019 LIGO detected for the first time Gravitational > Waves coming from a Black Hole-Neutron Star merger; it was 900 million > light years away. They detected something like this a few months ago but > were

Re: Are proofs equivalent to dovetailing computations?

2019-08-16 Thread Jason Resch
On Wed, Aug 14, 2019 at 5:02 AM Bruno Marchal wrote: > > On 12 Aug 2019, at 23:36, Jason Resch wrote: > > In "The Universal Numbers. From Biology to Physics" Bruno writes > > "The universal dovetailing can be seen as the proofs of all true Sigma_1 > propositions there exists x,y,z such that P_x(

Re: Standard Model & Higgs Boson

2019-08-16 Thread Alan Grayson
On Thursday, August 15, 2019 at 12:07:01 AM UTC-6, Alan Grayson wrote: > > > > On Sunday, August 11, 2019 at 9:40:45 PM UTC-6, Alan Grayson wrote: >> >> >> >> On Sunday, August 11, 2019 at 3:56:39 PM UTC-6, Lawrence Crowell wrote: >>> >>> On Saturday, August 10, 2019 at 10:43:39 PM UTC-5, Alan Gr

Re: STEP 3

2019-08-16 Thread Bruno Marchal
> On 15 Aug 2019, at 23:22, Jason Resch wrote: > > > > On Sun, Aug 11, 2019 at 12:24 PM Bruno Marchal > wrote: > >> On 10 Aug 2019, at 20:34, Jason Resch > > wrote: >> >> >> >> On Fri, Aug 9, 2019 at 10:20 AM Bruno Marchal >

Re: Local Realism and Bell

2019-08-16 Thread Bruno Marchal
> On 16 Aug 2019, at 13:30, Bruce Kellett wrote: > > On Fri, Aug 16, 2019 at 9:23 PM Bruno Marchal > wrote: > On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List > mailto:everything-list@googlegroups.com>> > wrote: >> On 8/15/2019 5:06 PM, Bruce Kellett wrot

Re: Local Realism and Bell

2019-08-16 Thread Bruce Kellett
On Fri, Aug 16, 2019 at 9:23 PM Bruno Marchal wrote: > On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List < > everything-list@googlegroups.com> wrote: > > On 8/15/2019 5:06 PM, Bruce Kellett wrote: > > On Fri, Aug 16, 2019 at 9:25 AM Lawrence Crowell < > goldenfieldquaterni...@gmail.com

Re: Local Realism and Bell

2019-08-16 Thread Bruno Marchal
> On 16 Aug 2019, at 03:27, 'Brent Meeker' via Everything List > wrote: > > > > On 8/15/2019 5:06 PM, Bruce Kellett wrote: >> On Fri, Aug 16, 2019 at 9:25 AM Lawrence Crowell >> mailto:goldenfieldquaterni...@gmail.com>> >> wrote: >> I started reading this. It looks similar to the PR box arg

The August 14 Black Hole - Neutron Star merger

2019-08-16 Thread John Clark
Yesterday August 14 2019 LIGO detected for the first time Gravitational Waves coming from a Black Hole-Neutron Star merger; it was 900 million light years away. They detected something like this a few months ago but were only 13% confident it was real, this time the signal was much stronger and the

Re: Local Realism and Bell

2019-08-16 Thread Philip Thrift
On Thursday, August 15, 2019 at 8:27:23 PM UTC-5, Brent wrote: > > > > On 8/15/2019 5:06 PM, Bruce Kellett wrote: > > On Fri, Aug 16, 2019 at 9:25 AM Lawrence Crowell > wrote: > >> I started reading this. It looks similar to the PR box argument. >> > > I have skimmed through it. It seems that Al

Re: STEP 3

2019-08-16 Thread Bruce Kellett
On Fri, Aug 16, 2019 at 4:43 PM smitra wrote: > On 16-08-2019 06:31, Bruce Kellett wrote: > > On Wed, Aug 14, 2019 at 8:28 AM smitra wrote: > > > >> On 13-08-2019 13:33, Bruce Kellett wrote: > >>> > >>> Of course A(x) and B(x) refer to the same point on the screen. > >> That is > >>> not a colla