Re: What is a Löbian machine/number/combinator

2018-04-30 Thread Brent Meeker
On 4/30/2018 6:10 PM, John Clark wrote: On Mon, Apr 30, 2018 at 2:56 PM, Brent Meeker >wrote: ​>/​/ /That's like saying that a man who took a plane from Helsinki to Moscow who has a diary can't have been written by "the Helsinki

Re: What is a Löbian machine/number/combinator

2018-04-30 Thread John Clark
On Mon, Apr 30, 2018 at 2:56 PM, Brent Meeker wrote: ​>* ​* > *That's like saying that a man who took a plane from Helsinki to Moscow > who has a diary can't have been written by "the Helsinki man" because he's > no longer in Helsinki.* > ​No, its like saying if a man took

Re: Entanglement

2018-04-30 Thread agrayson2000
On Monday, April 30, 2018 at 10:22:56 PM UTC, agrays...@gmail.com wrote: > > > > On Sunday, April 29, 2018 at 12:45:19 AM UTC, Brent wrote: >> >> >> >> On 4/28/2018 3:34 AM, Bruce Kellett wrote: >> >> From: John Clark >> >> >> On Thu, Apr 26, 2018 at 6:41 PM, Bruce Kellett

Re: Entanglement

2018-04-30 Thread agrayson2000
On Sunday, April 29, 2018 at 12:45:19 AM UTC, Brent wrote: > > > > On 4/28/2018 3:34 AM, Bruce Kellett wrote: > > From: John Clark > > > On Thu, Apr 26, 2018 at 6:41 PM, Bruce Kellett > wrote: > > * ​ > ​ many traces of that result remain -- even

Re: What is a Löbian machine/number/combinator

2018-04-30 Thread Brent Meeker
On 4/30/2018 9:09 AM, John Clark wrote: You say the diary solves the referent issue because its clear the man in Helsinki wrote it and he wrote it yesterday, but in one variation of the thought experiment there is nobody in Helsinki today, there are people in Moscow and Washington who

Re: Mind Uploading

2018-04-30 Thread Brent Meeker
On 4/30/2018 1:19 AM, Bruno Marchal wrote: On 27 Apr 2018, at 20:27, Brent Meeker wrote: On 4/27/2018 3:20 AM, Bruno Marchal wrote: Also false: I use faith to distinguish the truth we suspect and hope for, and the truth we verify or prove in some theory. Of course,

Re: What is a Löbian machine/number/combinator

2018-04-30 Thread John Clark
On Mon, Apr 30, 2018 at 6:00 AM, Telmo Menezes wrote: > ​> ​ > > *Sometimes you just go silent on the topic and come back to it​ ​months > later. This also happened with other topics before, I did not forget, even > though I didn't comment.* > Is that something I'm

Re: Mind Uploading

2018-04-30 Thread John Clark
On Mon, Apr 30, 2018 at 4:12 AM, Bruno Marchal wrote: *​>​>>​ ​like most pseudo-religious believers.* >>> >> >> ​ >> ​>>​ >> Aren't you creative enough to think of at least one new insult? ​ >> >> > > *​>​You illustrate that the God/Non-God debate is a trick in between >

Re: What is a Löbian machine/number/combinator

2018-04-30 Thread Telmo Menezes
On 23 April 2018 at 16:14, John Clark wrote: > On Mon, Apr 23, 2018 at 7:09 AM, Telmo Menezes > wrote: > >> > The above is about how Bruno keeps answering your questions, and then >> > you either pretend that he didn't > > > Like the time just a few

Re: Mind Uploading

2018-04-30 Thread Bruno Marchal
> On 27 Apr 2018, at 20:27, Brent Meeker wrote: > > > > On 4/27/2018 3:20 AM, Bruno Marchal wrote: >> Also false: I use faith to distinguish the truth we suspect and hope for, >> and the truth we verify or prove in some theory. Of course, in “serious >> metaphysics”,

Re: Mind Uploading

2018-04-30 Thread Bruno Marchal
> On 27 Apr 2018, at 20:02, John Clark wrote: > > On Fri, Apr 27, 2018 at 6:20 AM, Bruno Marchal > wrote: > > ​> ​You need already faith to believe the sun will rise tomorrow, > No, the sun has risen the next day many

Re: What is a Löbian machine/number/combinator

2018-04-30 Thread Bruno Marchal
> On 27 Apr 2018, at 21:56, John Clark wrote: > > > On Fri, Apr 27, 2018 at 11:52 AM, Bruno Marchal > wrote: > > ​> ​That step is very simple, > > ​Yes, simple as in stupid.​ > > ​> ​accessible by very young people