Re: Models of arithmetic

On Monday, August 26, 2019 at 4:42:18 AM UTC-5, Bruno Marchal wrote: > > > On 25 Aug 2019, at 20:27, Philip Thrift > > wrote: > > > > On Sunday, August 25, 2019 at 12:56:57 PM UTC-5, Brent wrote: >> >> >> >> On 8/25/2019 1:13 AM, Philip Thrift wrote: >> >> >> >> Ironically (and I thought this at

Re: Models of arithmetic

> On 25 Aug 2019, at 20:27, Philip Thrift wrote: > > > > On Sunday, August 25, 2019 at 12:56:57 PM UTC-5, Brent wrote: > > > On 8/25/2019 1:13 AM, Philip Thrift wrote: >> >> >> Ironically (and I thought this at the time almost 20 years ago now when I >> was interacting with Vic on his old

Re: Models of arithmetic

On Sunday, August 25, 2019 at 12:56:57 PM UTC-5, Brent wrote: > > > > On 8/25/2019 1:13 AM, Philip Thrift wrote: > > > > Ironically (and I thought this at the time almost 20 years ago now when I > was interacting with Vic on his old group [ > https://groups.google.com/forum/?hl=en#!forum/atvoid

Re: Models of arithmetic

On 8/25/2019 1:13 AM, Philip Thrift wrote: Ironically (and I thought this at the time almost 20 years ago now when I was interacting with Vic on his old group [ https://groups.google.com/forum/?hl=en#!forum/atvoid ]) is that "laws from symmetry" and "symmetry-breaking were contradictory to

Re: Models of arithmetic

On Saturday, August 24, 2019 at 11:26:54 PM UTC-5, Russell Standish wrote: > > On Fri, Aug 23, 2019 at 10:24:47PM -0700, Philip Thrift wrote: > > > > > > On Friday, August 23, 2019 at 5:54:17 PM UTC-5, Russell Standish wrote: > > > > On Wed, Aug 21, 2019 at 10:28:39AM +0200, Bruno Marcha

Re: Models of arithmetic

On Fri, Aug 23, 2019 at 10:24:47PM -0700, Philip Thrift wrote: > > > On Friday, August 23, 2019 at 5:54:17 PM UTC-5, Russell Standish wrote: > > On Wed, Aug 21, 2019 at 10:28:39AM +0200, Bruno Marchal wrote: > > > >     On 20 Aug 2019, at 19:38, Philip Thrift wrote: > > > >

Re: Models of arithmetic

> On 24 Aug 2019, at 00:54, Russell Standish wrote: > > On Wed, Aug 21, 2019 at 10:28:39AM +0200, Bruno Marchal wrote: >> >>On 20 Aug 2019, at 19:38, Philip Thrift wrote: >> >> >> >>The reason to suspect that arithmetic comes from matter (M→A) vs. matter >>comes from arithmetic

Re: Models of arithmetic

On Friday, August 23, 2019 at 5:54:17 PM UTC-5, Russell Standish wrote: > > On Wed, Aug 21, 2019 at 10:28:39AM +0200, Bruno Marchal wrote: > > > > On 20 Aug 2019, at 19:38, Philip Thrift > wrote: > > > > > > > > The reason to suspect that arithmetic comes from matter (M→A) vs. > m

Re: Models of arithmetic

On Wed, Aug 21, 2019 at 10:28:39AM +0200, Bruno Marchal wrote: > > On 20 Aug 2019, at 19:38, Philip Thrift wrote: > > > > The reason to suspect that arithmetic comes from matter (M→A) vs. matter > comes from arithmetic (A→M) is that with A→M there many Ms. > > > On the contrary:

Re: Models of arithmetic

> On 22 Aug 2019, at 11:32, Philip Thrift wrote: > > > > On Thursday, August 22, 2019 at 3:34:02 AM UTC-5, Bruno Marchal wrote: > > > On 21 Aug 2019, at 21:17, 'Brent Meeker' via Everything List > > > wrote: > > > > > > > > On 8/21/2019 1:28 AM, Bruno Marchal wrote: > >> So A explains w

Re: Models of arithmetic

On Thursday, August 22, 2019 at 3:34:02 AM UTC-5, Bruno Marchal wrote: > > > > On 21 Aug 2019, at 21:17, 'Brent Meeker' via Everything List < > everyth...@googlegroups.com > wrote: > > > > > > > > On 8/21/2019 1:28 AM, Bruno Marchal wrote: > >> So A explains why there is only one M possible

Re: Models of arithmetic

> On 21 Aug 2019, at 21:17, 'Brent Meeker' via Everything List > wrote: > > > > On 8/21/2019 1:28 AM, Bruno Marchal wrote: >> So A explains why there is only one M possible > > So what is the one possible M? Physicist build 10 billion dollar machines to > try to find out. If you can do i

Re: Models of arithmetic

On 8/21/2019 1:28 AM, Bruno Marchal wrote: So A explains why there is only one M possible So what is the one possible M?  Physicist build 10 billion dollar machines to try to find out.  If you can do it from your desk, let's hear about it? Brent -- You received this message because you

Re: Models of arithmetic

On Wednesday, August 21, 2019 at 7:38:49 AM UTC-5, Bruno Marchal wrote: > > > On 21 Aug 2019, at 13:03, Philip Thrift > > wrote: > > > > On Wednesday, August 21, 2019 at 3:28:42 AM UTC-5, Bruno Marchal wrote: >> >> >> On 20 Aug 2019, at 19:38, Philip Thrift wrote: >> >> >> >> On Tuesday, August

Re: Models of arithmetic

> On 21 Aug 2019, at 13:03, Philip Thrift wrote: > > > > On Wednesday, August 21, 2019 at 3:28:42 AM UTC-5, Bruno Marchal wrote: > >> On 20 Aug 2019, at 19:38, Philip Thrift > >> wrote: >> >> >> >> On Tuesday, August 20, 2019 at 6:27:51 AM UTC-5, Bruno Marchal wrote: >> >>> On 19 Aug 201

Re: Models of arithmetic

On Wednesday, August 21, 2019 at 3:28:42 AM UTC-5, Bruno Marchal wrote: > > > On 20 Aug 2019, at 19:38, Philip Thrift > > wrote: > > > > On Tuesday, August 20, 2019 at 6:27:51 AM UTC-5, Bruno Marchal wrote: >> >> >> On 19 Aug 2019, at 21:11, Philip Thrift wrote: >> >> >> >> On Monday, August 19

Re: Models of arithmetic

> On 20 Aug 2019, at 20:04, 'Brent Meeker' via Everything List > wrote: > > > > On 8/20/2019 4:27 AM, Bruno Marchal wrote: >>> Given all the novel, unpredicted stuff one reads every day in the science >>> news feeds about some new material (materials science), molecules, phases >>> (of ma

Re: Models of arithmetic

> On 20 Aug 2019, at 19:38, Philip Thrift wrote: > > > > On Tuesday, August 20, 2019 at 6:27:51 AM UTC-5, Bruno Marchal wrote: > >> On 19 Aug 2019, at 21:11, Philip Thrift > >> wrote: >> >> >> >> On Monday, August 19, 2019 at 9:43:38 AM UTC-5, Bruno Marchal wrote: >> >>> On 19 Aug 2019,

Re: Models of arithmetic

On 8/20/2019 4:27 AM, Bruno Marchal wrote: Given all the novel, unpredicted stuff one reads every day in the science news feeds about some new material (materials science), molecules,  phases (of matter), why is it so hard to think that matter is not some naive ("numerical-Turing-emulable")

Re: Models of arithmetic

On Tuesday, August 20, 2019 at 6:27:51 AM UTC-5, Bruno Marchal wrote: > > > On 19 Aug 2019, at 21:11, Philip Thrift > > wrote: > > > > On Monday, August 19, 2019 at 9:43:38 AM UTC-5, Bruno Marchal wrote: >> >> >> On 19 Aug 2019, at 11:50, Philip Thrift wrote: >> >> >> >> On Monday, August 19, 2

Re: Models of arithmetic

> On 19 Aug 2019, at 21:11, Philip Thrift wrote: > > > > On Monday, August 19, 2019 at 9:43:38 AM UTC-5, Bruno Marchal wrote: > >> On 19 Aug 2019, at 11:50, Philip Thrift > >> wrote: >> >> >> >> On Monday, August 19, 2019 at 4:08:58 AM UTC-5, Bruno Marchal wrote: >> >>> On 18 Aug 2019, a

Re: Models of arithmetic

On Monday, August 19, 2019 at 9:43:38 AM UTC-5, Bruno Marchal wrote: > > > On 19 Aug 2019, at 11:50, Philip Thrift > > wrote: > > > > On Monday, August 19, 2019 at 4:08:58 AM UTC-5, Bruno Marchal wrote: >> >> >> On 18 Aug 2019, at 13:57, Philip Thrift wrote: >> >> >> >> On Sunday, August 18, 20

Re: Models of arithmetic

> On 19 Aug 2019, at 11:50, Philip Thrift wrote: > > > > On Monday, August 19, 2019 at 4:08:58 AM UTC-5, Bruno Marchal wrote: > >> On 18 Aug 2019, at 13:57, Philip Thrift > >> wrote: >> >> >> >> On Sunday, August 18, 2019 at 4:53:28 AM UTC-5, Bruno Marchal wrote: >> >> Model theory illus

Re: Models of arithmetic

On Monday, August 19, 2019 at 4:08:58 AM UTC-5, Bruno Marchal wrote: > > > On 18 Aug 2019, at 13:57, Philip Thrift > > wrote: > > > > On Sunday, August 18, 2019 at 4:53:28 AM UTC-5, Bruno Marchal wrote: >> >> >> Model theory illustrate that pure mathematics has meaning. >> > > > A model is a

Re: Models of arithmetic

> On 18 Aug 2019, at 13:57, Philip Thrift wrote: > > > > On Sunday, August 18, 2019 at 4:53:28 AM UTC-5, Bruno Marchal wrote: > > Model theory illustrate that pure mathematics has meaning. > > > A model is a so-called 'structure': > https://plato.stanford.edu/entries/model-theory/ >

Models of arithmetic

On Sunday, August 18, 2019 at 4:53:28 AM UTC-5, Bruno Marchal wrote: > > > Model theory illustrate that pure mathematics has meaning. > A model is a so-called 'structure': https://plato.stanford.edu/entries/model-theory/ But allowable structures, typically mathematical entities in the model