Re: Bootstrapping Reality: The inconsistency of nothing

2018-07-01 Thread John Clark
On Sun, Jul 1, 2018 at 8:00 AM, Bruno Marchal wrote: > ​> >>> ​>>​ >>> ​If “0 things exist” is true, I don’t see how “0 things exist” can exist. >> >> > > ​>>​ >> If if “0 things exist” is true then “0 things exist” exists, > > ​>​ > That does not follow. If the universe is empty, i.e. u = { },

Re: Computability and Physical Theories

2018-07-01 Thread ronaldheld
Curious to hear others opinions before I answer. On Sunday, July 1, 2018 at 10:23:31 AM UTC-4, Bruno Marchal wrote: > > > On 29 Jun 2018, at 13:24, ronaldheld > > wrote: > > > > Comments? Note that I am not a Brunoist or AR. > > Everyone is AR, except ultra-strong-finitim (I have not yet

Re: Primary matter

2018-07-01 Thread Brent Meeker
On 7/1/2018 5:07 AM, Bruno Marchal wrote: On 29 Jun 2018, at 20:18, Brent Meeker > wrote: On 6/29/2018 3:34 AM, Bruno Marchal wrote: On 27 Jun 2018, at 20:43, Brent Meeker > wrote: On 6/27/2018 1:42 AM, Telmo Menezes wrote:

Re: Bruno's UDA and Solomonoff's theory of induction

2018-07-01 Thread smitra
On 01-07-2018 00:50, Russell Standish wrote: On Sun, Jul 01, 2018 at 12:36:19AM +0200, smitra wrote: On 30-06-2018 21:27, Jason Resch wrote: > It looks like Bruno's idea of extracting physics from all computations > is catching on. I came across this article: > >

Re: Do we live within a Diophantine equation?

2018-07-01 Thread John Clark
On Sun, Jul 1, 2018 at 6:42 AM, Bruno Marchal wrote: *> But you should not confuse the arithmetical reality with a book, be it > virtual or relatively material.* One of us is very confused that much is certain. You think arithmetical reality is the only reality there is and the book is real but

Re: Computability and Physical Theories

2018-07-01 Thread Bruno Marchal
> On 29 Jun 2018, at 13:24, ronaldheld wrote: > > Comments? Note that I am not a Brunoist or AR. Everyone is AR, except ultra-strong-finitim (I have not yet found one). Non AR is the belief that 2+2 is not equal to 4, to put it roughly. Brunoist? Not sure what that could mean, as I make

Re: Primary matter

2018-07-01 Thread Bruno Marchal
> On 29 Jun 2018, at 20:18, Brent Meeker wrote: > > > > On 6/29/2018 3:34 AM, Bruno Marchal wrote: >> >>> On 27 Jun 2018, at 20:43, Brent Meeker >> > wrote: >>> >>> >>> >>> On 6/27/2018 1:42 AM, Telmo Menezes wrote: On 27 June 2018 at 03:24, Brent Meeker

Re: Bootstrapping Reality: The inconsistency of nothing

2018-07-01 Thread Bruno Marchal
> On 30 Jun 2018, at 01:27, John Clark wrote: > > On Fri, Jun 29, 2018 at 4:57 AM, Bruno Marchal > wrote: > > ​> ​If “0 things exist” is true, I don’t see how “0 things exist” can exist. > > If if “0 things exist” is true then “0 things exist” exists, That does

Re: Bruno's UDA and Solomonoff's theory of induction

2018-07-01 Thread Bruno Marchal
> On 1 Jul 2018, at 00:57, Russell Standish wrote: > > On Sat, Jun 30, 2018 at 02:27:49PM -0500, Jason Resch wrote: >> It looks like Bruno's idea of extracting physics from all computations is >> catching on. I came across this article: >> >>

Re: Do we live within a Diophantine equation?

2018-07-01 Thread Bruno Marchal
> On 1 Jul 2018, at 01:07, Russell Standish wrote: > > On Thu, Jun 28, 2018 at 09:45:35AM +0200, Bruno Marchal wrote: >> >> The quantum vacuum is not vacuum at all. Then there are as many notion of >> nothing than there are notions of thing. If the thing are number, the >> nothing is the

Re: Do we live within a Diophantine equation?

2018-07-01 Thread Bruno Marchal
> On 30 Jun 2018, at 18:20, John Clark wrote: > > On Fri, Jun 29, 2018 at 5:24 AM, Bruno Marchal > wrote: > > > Nowhere anybody has ever defended the idea that books or texts can think. > > You are the only one mentioning that > > I don’t believe that’s true. There

Re: Do we live within a Diophantine equation?

2018-07-01 Thread Bruno Marchal
> On 29 Jun 2018, at 19:54, Brent Meeker wrote: > > > > On 6/29/2018 2:20 AM, Bruno Marchal wrote: >> >>> On 28 Jun 2018, at 20:00, Brent Meeker >> > wrote: >>> >>> >>> >>> On 6/28/2018 8:46 AM, Bruno Marchal wrote: > Also, if another sort of a multiverse