Re: Mathematical Universe Hypothesis

2018-10-26 Thread Philip Thrift
On Friday, October 26, 2018 at 7:55:57 PM UTC-5, Brent wrote: > > > > On 10/26/2018 1:03 PM, Philip Thrift wrote: > > > > On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: >> >> >> >> On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: >>> >>> >>> OK. But it

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Brent Meeker
On 10/26/2018 1:14 PM, Tomas Pales wrote: On Friday, October 26, 2018 at 10:03:07 PM UTC+2, Philip Thrift wrote: On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: OK

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Brent Meeker
On 10/26/2018 1:03 PM, Philip Thrift wrote: On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: OK. But it seemed to me you said that is better not to make unnecessary assumption.

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Tomas Pales
On Friday, October 26, 2018 at 11:59:28 PM UTC+2, Philip Thrift wrote: > > > As a practical matter though, AI and agent programmers have to deal with > inconsistent information in the world: > > https://www.hindawi.com/journals/isrn/2013/632319/ > https://arxiv.org/abs/1708.02851 > https://www.s

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Philip Thrift
On Friday, October 26, 2018 at 3:14:05 PM UTC-5, Tomas Pales wrote: > > > > On Friday, October 26, 2018 at 10:03:07 PM UTC+2, Philip Thrift wrote: >> >> >> >> On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: >>> >>> >>> >>> On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno

Re: Mathematical Universe Hypothesis

2018-10-26 Thread agrayson2000
On Friday, October 26, 2018 at 7:36:15 PM UTC, Tomas Pales wrote: > > > > On Friday, October 26, 2018 at 8:25:30 PM UTC+2, agrays...@gmail.com > wrote: >> >> >> >> On Friday, September 28, 2018 at 9:32:04 AM UTC, agrays...@gmail.com >> wrote: >>> >>> >>> >>> On Friday, September 28, 2018 at 1:0

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Tomas Pales
On Friday, October 26, 2018 at 10:03:07 PM UTC+2, Philip Thrift wrote: > > > > On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: >> >> >> >> On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: >>> >>> >>> OK. But it seemed to me you said that is better not to m

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Philip Thrift
On Friday, October 26, 2018 at 2:33:13 PM UTC-5, Tomas Pales wrote: > > > > On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: >> >> >> OK. But it seemed to me you said that is better not to make unnecessary >> assumption. >> > > My only ontological assumption is that existenc

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Tomas Pales
On Friday, October 26, 2018 at 8:25:30 PM UTC+2, agrays...@gmail.com wrote: > > > > On Friday, September 28, 2018 at 9:32:04 AM UTC, agrays...@gmail.com > wrote: >> >> >> >> On Friday, September 28, 2018 at 1:02:36 AM UTC, kujawski...@gmail.com >> wrote: >>> >>> Hello I think this good forum fo

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Tomas Pales
On Friday, October 26, 2018 at 8:06:03 PM UTC+2, Bruno Marchal wrote: > > > OK. But it seemed to me you said that is better not to make unnecessary > assumption. > My only ontological assumption is that existence is logical consistency. This assumption gives rise to the set-theoretic multivers

Re: Mathematical Universe Hypothesis

2018-10-26 Thread agrayson2000
On Friday, September 28, 2018 at 9:32:04 AM UTC, agrays...@gmail.com wrote: > > > > On Friday, September 28, 2018 at 1:02:36 AM UTC, kujawski...@gmail.com > wrote: >> >> Hello I think this good forum for this topic - what do you think about >> Mathematical Universe, there are very big arguments

Re: Mathematical Universe Hypothesis

2018-10-26 Thread Bruno Marchal
Hi Tomas, > as I see it, my ontology, whose relational aspect is defined by the relation > of similarity (and its special kinds - instantiation and composition), > includes your ontology, because pure set theory includes arithmetic. OK. But it seemed to me you said that is better not to make

Re: Combinator joker (a note in passing on formal combinator theory)

2018-10-26 Thread Bruno Marchal
Just a typo error correction I hope you have spotted it > On 24 Oct 2018, at 18:45, Bruno Marchal wrote: > > Thomas Pavel wanted that something is identical to itself. In most formal > combinator theory x = x is given as an axiom, yet I did not take it. > Likewise, the rule: if x = y then y

Re: The hard problem of matter

2018-10-26 Thread John Clark
On Thu, Oct 25, 2018 at 12:36 PM Philip Thrift wrote: *>"2+2=4" is only true in the sense that there is a language that has been > created in which that sentence is labeled "true".* If there were not at least 2 physical things in existence it would be labeled neither true or false but gibberish

Re: The hard problem of matter

2018-10-26 Thread Philip Thrift
On Friday, October 26, 2018 at 9:50:13 AM UTC-5, Bruno Marchal wrote: > > > On 25 Oct 2018, at 18:36, Philip Thrift > > wrote: > > > > On Thursday, October 25, 2018 at 11:03:22 AM UTC-5, Bruno Marchal wrote: >> >> >> >> There was no physics before writing, also; but there was a physical >> real

Re: The hard problem of matter

2018-10-26 Thread Bruno Marchal
> On 25 Oct 2018, at 20:05, Brent Meeker wrote: > > > > On 10/25/2018 9:18 AM, Bruno Marchal wrote: >>> On 24 Oct 2018, at 03:22, Brent Meeker wrote: >>> >>> >>> >>> On 10/23/2018 9:23 AM, Bruno Marchal wrote: > On 23 Oct 2018, at 04:30, Brent Meeker wrote: > > > >

Re: The hard problem of matter

2018-10-26 Thread Bruno Marchal
> On 25 Oct 2018, at 19:46, Brent Meeker wrote: > > > > On 10/25/2018 9:03 AM, Bruno Marchal wrote: >> Now, when you say that there was no mathematics before writing, I am not >> sure. I think the incas have developed ways to compute (notably the position >> of the star in the sky) before w

Re: The hard problem of matter

2018-10-26 Thread Bruno Marchal
> On 25 Oct 2018, at 18:36, Philip Thrift wrote: > > > > On Thursday, October 25, 2018 at 11:03:22 AM UTC-5, Bruno Marchal wrote: > > > There was no physics before writing, also; but there was a physical reality > and a mathematical reality before human writing, and before humans, although

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

2018-10-26 Thread agrayson2000
On Friday, October 26, 2018 at 10:39:27 AM UTC, Lawrence Crowell wrote: > > On Thursday, October 25, 2018 at 10:12:42 AM UTC-5, agrays...@gmail.com > wrote: >> >> >> >> On Tuesday, October 23, 2018 at 10:39:11 PM UTC, agrays...@gmail.com >> wrote: >>> >>> If a system is in a superposition of st

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

2018-10-26 Thread Lawrence Crowell
On Thursday, October 25, 2018 at 10:12:42 AM UTC-5, agrays...@gmail.com wrote: > > > > On Tuesday, October 23, 2018 at 10:39:11 PM UTC, agrays...@gmail.com > wrote: >> >> If a system is in a superposition of states, whatever value measured, >> will be repeated if the same system is repeatedly me