Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-14 Thread Bruno Marchal
> On 12 May 2019, at 20:38, Philip Thrift wrote: > > > > On Sunday, May 12, 2019 at 12:31:12 PM UTC-5, Bruno Marchal wrote: > > Concerning mathematical logic and theology, an incredible book is: > > Cohen J. Daniel, 2007. Equations from God, Pure Mathematics and Victorian > Faith, John

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-12 Thread Philip Thrift
On Sunday, May 12, 2019 at 12:31:12 PM UTC-5, Bruno Marchal wrote: > > > Concerning mathematical logic and theology, an incredible book is: > > Cohen J. Daniel, 2007. Equations from God, Pure Mathematics and Victorian > Faith, John Hopkins Press, Baltimore. > > That book shows that the whole

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-12 Thread Bruno Marchal
> On 10 May 2019, at 15:38, Jason Resch wrote: > > > > On Fri, May 10, 2019 at 7:53 AM Bruno Marchal > wrote: > >> On 8 May 2019, at 17:44, Jason Resch > > wrote: >> >> SNIP >> >> OK. >> >> It is just that this is verified by

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-10 Thread Jason Resch
On Fri, May 10, 2019 at 7:53 AM Bruno Marchal wrote: > > On 8 May 2019, at 17:44, Jason Resch wrote: > > > > On Mon, Apr 29, 2019 at 7:57 AM Bruno Marchal wrote: > >> >> On 26 Apr 2019, at 02:50, Jason Resch wrote: >> >> >> >> On Tue, Apr 23, 2019 at 9:57 AM Bruno Marchal wrote: >> >>> >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-10 Thread Bruno Marchal
> On 8 May 2019, at 17:44, Jason Resch wrote: > > > > On Mon, Apr 29, 2019 at 7:57 AM Bruno Marchal > wrote: > >> On 26 Apr 2019, at 02:50, Jason Resch > > wrote: >> >> >> >> On Tue, Apr 23, 2019 at 9:57 AM Bruno Marchal >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-08 Thread Jason Resch
On Mon, Apr 29, 2019 at 7:57 AM Bruno Marchal wrote: > > On 26 Apr 2019, at 02:50, Jason Resch wrote: > > > > On Tue, Apr 23, 2019 at 9:57 AM Bruno Marchal wrote: > >> >> On 23 Apr 2019, at 03:32, Jason Resch wrote: >> >> >> >> On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-05-08 Thread Jason Resch
On Mon, Apr 29, 2019 at 7:47 AM Bruno Marchal wrote: > > On 26 Apr 2019, at 02:38, Jason Resch wrote: > > > > On Tue, Apr 23, 2019 at 9:45 AM Bruno Marchal wrote: > >> >> On 23 Apr 2019, at 01:24, Jason Resch wrote: >> >> >> >> On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal wrote: >> >>> >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-29 Thread Bruno Marchal
> On 26 Apr 2019, at 02:38, Jason Resch wrote: > > > > On Tue, Apr 23, 2019 at 9:45 AM Bruno Marchal > wrote: > >> On 23 Apr 2019, at 01:24, Jason Resch > > wrote: >> >> >> >> On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-29 Thread Bruno Marchal
> On 26 Apr 2019, at 02:50, Jason Resch wrote: > > > > On Tue, Apr 23, 2019 at 9:57 AM Bruno Marchal > wrote: > >> On 23 Apr 2019, at 03:32, Jason Resch > > wrote: >> >> >> >> On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-26 Thread cloudversed
On Friday, April 26, 2019 at 9:04:46 AM UTC-5, Jason wrote: > > > > On Friday, April 26, 2019, > wrote: > >> >> >> On Thursday, April 25, 2019 at 7:29:08 PM UTC-5, Jason wrote: >>> >>> >>> >>> On Tue, Apr 23, 2019 at 2:48 AM Philip Thrift >>> wrote: >>> On Monday, April 22, 2019

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-26 Thread Jason Resch
On Friday, April 26, 2019, wrote: > > > On Thursday, April 25, 2019 at 7:29:08 PM UTC-5, Jason wrote: >> >> >> >> On Tue, Apr 23, 2019 at 2:48 AM Philip Thrift wrote: >> >>> >>> >>> On Monday, April 22, 2019 at 6:24:37 PM UTC-5, Jason wrote: > The above reminded me of this quote

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-26 Thread cloudversed
On Thursday, April 25, 2019 at 7:29:08 PM UTC-5, Jason wrote: > > > > On Tue, Apr 23, 2019 at 2:48 AM Philip Thrift > wrote: > >> >> >> On Monday, April 22, 2019 at 6:24:37 PM UTC-5, Jason wrote: >>> >>> The above reminded me of this quote from Alan Turing: >>> >>> Personally I think that

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-25 Thread Jason Resch
On Tue, Apr 23, 2019 at 9:57 AM Bruno Marchal wrote: > > On 23 Apr 2019, at 03:32, Jason Resch wrote: > > > > On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List < > everything-list@googlegroups.com> wrote: > >> >> >> On 4/22/2019 4:24 PM, Jason Resch wrote: >> >> >> >> On Tue,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-25 Thread Jason Resch
On Tue, Apr 23, 2019 at 9:45 AM Bruno Marchal wrote: > > On 23 Apr 2019, at 01:24, Jason Resch wrote: > > > > On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal wrote: > >> >> On 5 Nov 2018, at 02:56, Martin Abramson >> wrote: >> >> Consciousness is a program. >> >> >> Consciousness might be

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-25 Thread Jason Resch
On Tue, Apr 23, 2019 at 2:48 AM Philip Thrift wrote: > > > On Monday, April 22, 2019 at 6:24:37 PM UTC-5, Jason wrote: >> >> >>> The above reminded me of this quote from Alan Turing: >> >> Personally I think that spirit is really eternally connected with matter >> but certainly not always by the

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-23 Thread Bruno Marchal
> On 23 Apr 2019, at 07:13, 'Brent Meeker' via Everything List > wrote: > > > > On 4/22/2019 6:32 PM, Jason Resch wrote: >> >> >> On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List >> mailto:everything-list@googlegroups.com>> >> wrote: >> >> >> On 4/22/2019 4:24 PM,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-23 Thread Bruno Marchal
> On 23 Apr 2019, at 03:32, Jason Resch wrote: > > > > On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List > mailto:everything-list@googlegroups.com>> > wrote: > > > On 4/22/2019 4:24 PM, Jason Resch wrote: >> >> >> On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-23 Thread Bruno Marchal
> On 23 Apr 2019, at 01:24, Jason Resch wrote: > > > > On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal > wrote: > >> On 5 Nov 2018, at 02:56, Martin Abramson > > wrote: >> >> Consciousness is a program. > > Consciousness might be

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-23 Thread Philip Thrift
On Monday, April 22, 2019 at 6:24:37 PM UTC-5, Jason wrote: > > >> The above reminded me of this quote from Alan Turing: > > Personally I think that spirit is really eternally connected with matter > but certainly not always by the same kind of body. I did believe it > possible for a spirit at

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-22 Thread Jason Resch
On Tue, Apr 23, 2019 at 12:13 AM 'Brent Meeker' via Everything List < everything-list@googlegroups.com> wrote: > > > On 4/22/2019 6:32 PM, Jason Resch wrote: > > > > On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List < > everything-list@googlegroups.com> wrote: > >> >> >> On

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-22 Thread 'Brent Meeker' via Everything List
On 4/22/2019 6:32 PM, Jason Resch wrote: On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List > wrote: On 4/22/2019 4:24 PM, Jason Resch wrote: On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal mailto:marc...@ulb.ac.be>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-22 Thread Jason Resch
On Mon, Apr 22, 2019 at 7:51 PM 'Brent Meeker' via Everything List < everything-list@googlegroups.com> wrote: > > > On 4/22/2019 4:24 PM, Jason Resch wrote: > > > > On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal wrote: > >> >> On 5 Nov 2018, at 02:56, Martin Abramson >> wrote: >> >> Consciousness

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-22 Thread 'Brent Meeker' via Everything List
On 4/22/2019 4:24 PM, Jason Resch wrote: On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal > wrote: On 5 Nov 2018, at 02:56, Martin Abramson mailto:martinabrams...@gmail.com>> wrote: Consciousness is a program. Consciousness might be related to a

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2019-04-22 Thread Jason Resch
On Tue, Nov 6, 2018 at 3:16 AM Bruno Marchal wrote: > > On 5 Nov 2018, at 02:56, Martin Abramson > wrote: > > Consciousness is a program. > > > Consciousness might be related to a program, but is not a program, that > would identify a first person notion with a third person notion, like a >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-27 Thread Philip Thrift
On Thursday, December 27, 2018 at 6:55:34 AM UTC-6, Bruno Marchal wrote: > > > On 24 Dec 2018, at 14:55, Philip Thrift > > wrote: > > > > On Monday, December 24, 2018 at 6:55:46 AM UTC-6, Bruno Marchal wrote: >> >> >> On 23 Dec 2018, at 13:39, Philip Thrift wrote: >> >> >> >> On Sunday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-27 Thread Bruno Marchal
> On 24 Dec 2018, at 14:55, Philip Thrift wrote: > > > > On Monday, December 24, 2018 at 6:55:46 AM UTC-6, Bruno Marchal wrote: > >> On 23 Dec 2018, at 13:39, Philip Thrift > >> wrote: >> >> >> >> On Sunday, December 23, 2018 at 5:20:57 AM UTC-6, Bruno Marchal wrote: >> >>> On 21 Dec

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-24 Thread Philip Thrift
On Monday, December 24, 2018 at 6:55:46 AM UTC-6, Bruno Marchal wrote: > > > On 23 Dec 2018, at 13:39, Philip Thrift > > wrote: > > > > On Sunday, December 23, 2018 at 5:20:57 AM UTC-6, Bruno Marchal wrote: >> >> >> On 21 Dec 2018, at 11:06, Philip Thrift wrote: >> >> >> >> On Friday, December

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-24 Thread Bruno Marchal
> On 23 Dec 2018, at 13:39, Philip Thrift wrote: > > > > On Sunday, December 23, 2018 at 5:20:57 AM UTC-6, Bruno Marchal wrote: > >> On 21 Dec 2018, at 11:06, Philip Thrift > >> wrote: >> >> >> >> On Friday, December 21, 2018 at 3:18:26 AM UTC-6, Bruno Marchal wrote: >> >>> On 20 Dec

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-23 Thread Philip Thrift
On Sunday, December 23, 2018 at 5:20:57 AM UTC-6, Bruno Marchal wrote: > > > On 21 Dec 2018, at 11:06, Philip Thrift > > wrote: > > > > On Friday, December 21, 2018 at 3:18:26 AM UTC-6, Bruno Marchal wrote: >> >> >> On 20 Dec 2018, at 14:49, Philip Thrift wrote: >> >> >> The psychical

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-23 Thread Bruno Marchal
> On 21 Dec 2018, at 11:06, Philip Thrift wrote: > > > > On Friday, December 21, 2018 at 3:18:26 AM UTC-6, Bruno Marchal wrote: > >> On 20 Dec 2018, at 14:49, Philip Thrift > >> wrote: >> >> The psychical (experiential) states of matter (brain) > > Why a brain? If matter can be conscious,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-21 Thread Philip Thrift
On Friday, December 21, 2018 at 3:18:26 AM UTC-6, Bruno Marchal wrote: > > > On 20 Dec 2018, at 14:49, Philip Thrift > > wrote: > > > The psychical (experiential) states of matter (brain) > > > Why a brain? If matter can be conscious, what is the role of the > (non-digital) brain? > > > > > >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-21 Thread Bruno Marchal
> On 20 Dec 2018, at 14:49, Philip Thrift wrote: > > > > On Thursday, December 20, 2018 at 5:41:07 AM UTC-6, Bruno Marchal wrote: > >> On 19 Dec 2018, at 19:36, Philip Thrift > >> wrote: >> >> >> >> On Wednesday, December 19, 2018 at 9:19:50 AM UTC-6, Bruno Marchal wrote: >> >>> On 18

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-20 Thread Philip Thrift
On Thursday, December 20, 2018 at 5:41:07 AM UTC-6, Bruno Marchal wrote: > > > On 19 Dec 2018, at 19:36, Philip Thrift > > wrote: > > > > On Wednesday, December 19, 2018 at 9:19:50 AM UTC-6, Bruno Marchal wrote: >> >> >> On 18 Dec 2018, at 16:40, Philip Thrift wrote: >> >> >> snip >> >> > >>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-20 Thread Bruno Marchal
> On 19 Dec 2018, at 19:36, Philip Thrift wrote: > > > > On Wednesday, December 19, 2018 at 9:19:50 AM UTC-6, Bruno Marchal wrote: > >> On 18 Dec 2018, at 16:40, Philip Thrift > >> wrote: >> >> >> snip >> >> >> I should add: Why is fictionalism compelling? >> >> When you get down to

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-19 Thread Philip Thrift
On Wednesday, December 19, 2018 at 9:19:50 AM UTC-6, Bruno Marchal wrote: > > > On 18 Dec 2018, at 16:40, Philip Thrift > > wrote: > > > > On Tuesday, December 18, 2018 at 9:24:12 AM UTC-6, Philip Thrift wrote: >> >> >> >> On Tuesday, December 18, 2018 at 5:04:32 AM UTC-6, Bruno Marchal wrote:

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-19 Thread Bruno Marchal
> On 18 Dec 2018, at 16:40, Philip Thrift wrote: > > > > On Tuesday, December 18, 2018 at 9:24:12 AM UTC-6, Philip Thrift wrote: > > > On Tuesday, December 18, 2018 at 5:04:32 AM UTC-6, Bruno Marchal wrote: > >> On 17 Dec 2018, at 14:32, Philip Thrift > wrote: >> >> >> >> On Monday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-18 Thread Philip Thrift
On Tuesday, December 18, 2018 at 9:24:12 AM UTC-6, Philip Thrift wrote: > > > > On Tuesday, December 18, 2018 at 5:04:32 AM UTC-6, Bruno Marchal wrote: >> >> >> On 17 Dec 2018, at 14:32, Philip Thrift wrote: >> >> >> >> On Monday, December 17, 2018 at 6:51:19 AM UTC-6, Bruno Marchal wrote: >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-18 Thread Philip Thrift
On Tuesday, December 18, 2018 at 5:04:32 AM UTC-6, Bruno Marchal wrote: > > > On 17 Dec 2018, at 14:32, Philip Thrift > > wrote: > > > > On Monday, December 17, 2018 at 6:51:19 AM UTC-6, Bruno Marchal wrote: >> >> >> On 16 Dec 2018, at 19:24, Philip Thrift wrote: >> >> >> >> On Sunday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-18 Thread Bruno Marchal
> On 17 Dec 2018, at 14:32, Philip Thrift wrote: > > > > On Monday, December 17, 2018 at 6:51:19 AM UTC-6, Bruno Marchal wrote: > >> On 16 Dec 2018, at 19:24, Philip Thrift > >> wrote: >> >> >> >> On Sunday, December 16, 2018 at 11:27:50 AM UTC-6, Bruno Marchal wrote: >> >> > On 15 Dec

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-17 Thread Philip Thrift
On Monday, December 17, 2018 at 6:51:19 AM UTC-6, Bruno Marchal wrote: > > > On 16 Dec 2018, at 19:24, Philip Thrift > > wrote: > > > > On Sunday, December 16, 2018 at 11:27:50 AM UTC-6, Bruno Marchal wrote: >> >> >> > On 15 Dec 2018, at 00:00, Brent Meeker wrote: >> > >> > >> > >> > On

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-17 Thread Bruno Marchal
> On 16 Dec 2018, at 19:24, Philip Thrift wrote: > > > > On Sunday, December 16, 2018 at 11:27:50 AM UTC-6, Bruno Marchal wrote: > > > On 15 Dec 2018, at 00:00, Brent Meeker > > > wrote: > > > > > > > > On 12/14/2018 2:59 AM, Bruno Marchal wrote: > >>> On 13 Dec 2018, at 21:24, Brent

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-16 Thread Bruno Marchal
> On 15 Dec 2018, at 00:12, Philip Thrift wrote: > > > > On Friday, December 14, 2018 at 5:00:33 PM UTC-6, Brent wrote: > > > On 12/14/2018 2:59 AM, Bruno Marchal wrote: > >> On 13 Dec 2018, at 21:24, Brent Meeker > > >> wrote: > >> > >> > >> > >> On 12/13/2018 3:25 AM, Bruno Marchal

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-16 Thread Philip Thrift
On Sunday, December 16, 2018 at 11:27:50 AM UTC-6, Bruno Marchal wrote: > > > > On 15 Dec 2018, at 00:00, Brent Meeker > wrote: > > > > > > > > On 12/14/2018 2:59 AM, Bruno Marchal wrote: > >>> On 13 Dec 2018, at 21:24, Brent Meeker > wrote: > >>> > >>> > >>> > >>> On 12/13/2018 3:25

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-16 Thread Bruno Marchal
> On 15 Dec 2018, at 00:00, Brent Meeker wrote: > > > > On 12/14/2018 2:59 AM, Bruno Marchal wrote: >>> On 13 Dec 2018, at 21:24, Brent Meeker wrote: >>> >>> >>> >>> On 12/13/2018 3:25 AM, Bruno Marchal wrote: > But that is the same as saying proof=>truth. I don’t think so. It

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-16 Thread Bruno Marchal
> On 14 Dec 2018, at 12:01, Philip Thrift wrote: > > > > On Friday, December 14, 2018 at 4:49:33 AM UTC-6, Bruno Marchal wrote: > >> On 13 Dec 2018, at 21:05, Brent Meeker > >> wrote: >> >> >> >> On 12/13/2018 3:18 AM, Bruno Marchal wrote: Automating Gödel'’s Ontological Proof of

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-14 Thread Philip Thrift
On Friday, December 14, 2018 at 5:00:33 PM UTC-6, Brent wrote: > > > > On 12/14/2018 2:59 AM, Bruno Marchal wrote: > >> On 13 Dec 2018, at 21:24, Brent Meeker > wrote: > >> > >> > >> > >> On 12/13/2018 3:25 AM, Bruno Marchal wrote: > But that is the same as saying proof=>truth. >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-14 Thread Brent Meeker
On 12/14/2018 2:59 AM, Bruno Marchal wrote: On 13 Dec 2018, at 21:24, Brent Meeker wrote: On 12/13/2018 3:25 AM, Bruno Marchal wrote: But that is the same as saying proof=>truth. I don’t think so. It says that []p -> p is not provable, unless p is proved. So []([]p -> p) -> p or in

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-14 Thread Philip Thrift
On Friday, December 14, 2018 at 4:49:33 AM UTC-6, Bruno Marchal wrote: > > > On 13 Dec 2018, at 21:05, Brent Meeker > > wrote: > > > > On 12/13/2018 3:18 AM, Bruno Marchal wrote: > > *Automating Gödel'’s Ontological Proof of God’s Existence ¨ with > Higher-order Automated Theorem Provers* >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-14 Thread Bruno Marchal
> On 13 Dec 2018, at 21:24, Brent Meeker wrote: > > > > On 12/13/2018 3:25 AM, Bruno Marchal wrote: >>> But that is the same as saying proof=>truth. >> >> I don’t think so. It says that []p -> p is not provable, unless p is proved. > > So []([]p -> p) -> p or in other words Proof([]p ->

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-14 Thread Bruno Marchal
> On 13 Dec 2018, at 21:05, Brent Meeker wrote: > > > > On 12/13/2018 3:18 AM, Bruno Marchal wrote: >>> Automating Gödel'’s Ontological Proof of God’s Existence ¨ with >>> Higher-order Automated Theorem Provers >>> http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-13 Thread Brent Meeker
On 12/13/2018 3:25 AM, Bruno Marchal wrote: But that is the same as saying proof=>truth. I don’t think so. It says that []p -> p is not provable, unless p is proved. So  []([]p -> p) -> p  or in other words Proof([]p -> p) => (p is true)  So in this case proof entails truth?? For

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-13 Thread Brent Meeker
On 12/13/2018 3:18 AM, Bruno Marchal wrote: *Automating Gödel'’s Ontological Proof of God’s Existence ¨ with Higher-order Automated Theorem Provers* http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf Gödel took the modal logic S5 for its proof, which is the only logic NOT available

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-13 Thread Philip Thrift
On Wednesday, December 12, 2018 at 9:30:10 PM UTC-6, Brent wrote: > > > the mathematical idea of "true" is very different from the common one. > > Brent > > > This reminds me of the "truth" the guys on *The Big Bang Theory* refer to a lot: They have arguments of what would be the case (be

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-13 Thread Bruno Marchal
> On 13 Dec 2018, at 04:30, Brent Meeker wrote: > > > > On 12/12/2018 9:18 AM, Bruno Marchal wrote: >> >>> On 12 Dec 2018, at 12:54, Philip Thrift >> > wrote: >>> >>> >>> >>> On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-13 Thread Bruno Marchal
> On 12 Dec 2018, at 19:37, Philip Thrift wrote: > > > > On Wednesday, December 12, 2018 at 11:18:48 AM UTC-6, Bruno Marchal wrote: > >> On 12 Dec 2018, at 12:54, Philip Thrift > >> wrote: >> >> >> >> On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: >> >>> On 11

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-12 Thread Brent Meeker
On 12/12/2018 9:18 AM, Bruno Marchal wrote: On 12 Dec 2018, at 12:54, Philip Thrift > wrote: On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: On 11 Dec 2018, at 12:58, Philip Thrift > wrote: On Tuesday, December 11,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-12 Thread Philip Thrift
On Wednesday, December 12, 2018 at 11:18:48 AM UTC-6, Bruno Marchal wrote: > > > On 12 Dec 2018, at 12:54, Philip Thrift > > wrote: > > > > On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: >> >> >> On 11 Dec 2018, at 12:58, Philip Thrift wrote: >> >> >> >> On Tuesday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-12 Thread Bruno Marchal
> On 12 Dec 2018, at 12:54, Philip Thrift wrote: > > > > On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: > >> On 11 Dec 2018, at 12:58, Philip Thrift > >> wrote: >> >> >> >> On Tuesday, December 11, 2018 at 5:41:49 AM UTC-6, Bruno Marchal wrote: >> >>> On 11

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-12 Thread Philip Thrift
On Wednesday, December 12, 2018 at 5:09:00 AM UTC-6, Bruno Marchal wrote: > > > On 11 Dec 2018, at 12:58, Philip Thrift > > wrote: > > > > On Tuesday, December 11, 2018 at 5:41:49 AM UTC-6, Bruno Marchal wrote: >> >> >> On 11 Dec 2018, at 12:11, Philip Thrift wrote: >> >> >> Nothing is

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-12 Thread Bruno Marchal
> On 11 Dec 2018, at 12:58, Philip Thrift wrote: > > > > On Tuesday, December 11, 2018 at 5:41:49 AM UTC-6, Bruno Marchal wrote: > >> On 11 Dec 2018, at 12:11, Philip Thrift > >> wrote: >> >> >> Nothing is "confirmed" and "made precise". >> >> (Derrida, Rorty, …) > > That would make

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-11 Thread Brent Meeker
On 12/11/2018 3:58 AM, Philip Thrift wrote: On Tuesday, December 11, 2018 at 5:41:49 AM UTC-6, Bruno Marchal wrote: On 11 Dec 2018, at 12:11, Philip Thrift > wrote: Nothing is "confirmed" and "made precise". (Derrida, Rorty, …) That would make Derrida and Rorty into

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-11 Thread Philip Thrift
On Tuesday, December 11, 2018 at 5:41:49 AM UTC-6, Bruno Marchal wrote: > > > On 11 Dec 2018, at 12:11, Philip Thrift > > wrote: > > > Nothing is "confirmed" and "made precise". > > (Derrida, Rorty, …) > > > That would make Derrida and Rorty into obscurantism. Confirmation does not > make an

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-11 Thread Bruno Marchal
> On 11 Dec 2018, at 12:11, Philip Thrift wrote: > > > > On Tuesday, December 11, 2018 at 4:21:07 AM UTC-6, Bruno Marchal wrote: > >> On 9 Dec 2018, at 21:45, Philip Thrift > >> wrote: >> >> >> >> On Sunday, December 9, 2018 at 6:03:27 AM UTC-6, Bruno Marchal wrote: >> >>> On 7 Dec

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-11 Thread Philip Thrift
On Tuesday, December 11, 2018 at 4:21:07 AM UTC-6, Bruno Marchal wrote: > > > On 9 Dec 2018, at 21:45, Philip Thrift > > wrote: > > > > On Sunday, December 9, 2018 at 6:03:27 AM UTC-6, Bruno Marchal wrote: >> >> >> On 7 Dec 2018, at 21:17, Philip Thrift wrote: >> >> >> >> On Friday, December

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-11 Thread Bruno Marchal
> On 9 Dec 2018, at 21:45, Philip Thrift wrote: > > > > On Sunday, December 9, 2018 at 6:03:27 AM UTC-6, Bruno Marchal wrote: > >> On 7 Dec 2018, at 21:17, Philip Thrift > >> wrote: >> >> >> >> On Friday, December 7, 2018 at 9:39:15 AM UTC-6, Bruno Marchal wrote: >> >>> On 7 Dec 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-09 Thread Philip Thrift
On Sunday, December 9, 2018 at 6:03:27 AM UTC-6, Bruno Marchal wrote: > > > On 7 Dec 2018, at 21:17, Philip Thrift > > wrote: > > > > On Friday, December 7, 2018 at 9:39:15 AM UTC-6, Bruno Marchal wrote: >> >> >> On 7 Dec 2018, at 12:38, Philip Thrift wrote: >> >> >> >> On Friday, December 7,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-09 Thread Bruno Marchal
> On 7 Dec 2018, at 21:17, Philip Thrift wrote: > > > > On Friday, December 7, 2018 at 9:39:15 AM UTC-6, Bruno Marchal wrote: > >> On 7 Dec 2018, at 12:38, Philip Thrift > >> wrote: >> >> >> >> On Friday, December 7, 2018 at 4:14:20 AM UTC-6, Bruno Marchal wrote: >> >>> On 6 Dec 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-07 Thread Philip Thrift
On Friday, December 7, 2018 at 9:39:15 AM UTC-6, Bruno Marchal wrote: > > > On 7 Dec 2018, at 12:38, Philip Thrift > > wrote: > > > > On Friday, December 7, 2018 at 4:14:20 AM UTC-6, Bruno Marchal wrote: >> >> >> On 6 Dec 2018, at 12:33, Philip Thrift wrote: >> >> >> >> On Thursday, December

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-07 Thread Bruno Marchal
> On 7 Dec 2018, at 12:38, Philip Thrift wrote: > > > > On Friday, December 7, 2018 at 4:14:20 AM UTC-6, Bruno Marchal wrote: > >> On 6 Dec 2018, at 12:33, Philip Thrift > >> wrote: >> >> >> >> On Thursday, December 6, 2018 at 5:05:55 AM UTC-6, Bruno Marchal wrote: >> >>> On 5 Dec 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-07 Thread Philip Thrift
On Friday, December 7, 2018 at 4:14:20 AM UTC-6, Bruno Marchal wrote: > > > On 6 Dec 2018, at 12:33, Philip Thrift > > wrote: > > > > On Thursday, December 6, 2018 at 5:05:55 AM UTC-6, Bruno Marchal wrote: >> >> >> On 5 Dec 2018, at 19:20, Philip Thrift wrote: >> >> >> >> On Wednesday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-07 Thread Bruno Marchal
> On 6 Dec 2018, at 12:33, Philip Thrift wrote: > > > > On Thursday, December 6, 2018 at 5:05:55 AM UTC-6, Bruno Marchal wrote: > >> On 5 Dec 2018, at 19:20, Philip Thrift > >> wrote: >> >> >> >> On Wednesday, December 5, 2018 at 5:29:44 AM UTC-6, Bruno Marchal wrote: >> >>> On 4 Dec

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-06 Thread Philip Thrift
On Thursday, December 6, 2018 at 5:05:55 AM UTC-6, Bruno Marchal wrote: > > > On 5 Dec 2018, at 19:20, Philip Thrift > > wrote: > > > > On Wednesday, December 5, 2018 at 5:29:44 AM UTC-6, Bruno Marchal wrote: >> >> >> On 4 Dec 2018, at 17:48, Philip Thrift wrote: >> >>> >>> >>> On the truth of

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-06 Thread Bruno Marchal
> On 5 Dec 2018, at 19:20, Philip Thrift wrote: > > > > On Wednesday, December 5, 2018 at 5:29:44 AM UTC-6, Bruno Marchal wrote: > >> On 4 Dec 2018, at 17:48, Philip Thrift > >> wrote: >>> >>> >>> On the truth of computationalism, I mean to express emphatically that >>> computationalism

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-05 Thread Philip Thrift
On Wednesday, December 5, 2018 at 5:29:44 AM UTC-6, Bruno Marchal wrote: > > > On 4 Dec 2018, at 17:48, Philip Thrift > > wrote: > >> >> >> On the truth of computationalism, I mean to express emphatically that >> *computationalism >> is indeed false*, and it should be replaced by what I call

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-05 Thread Bruno Marchal
> On 4 Dec 2018, at 17:48, Philip Thrift wrote: > > > > On Tuesday, December 4, 2018 at 6:37:01 AM UTC-6, Bruno Marchal wrote: > >> On 4 Dec 2018, at 11:39, Philip Thrift > >> wrote: >> >> >> >> On Tuesday, December 4, 2018 at 4:25:37 AM UTC-6, Bruno Marchal wrote: >> >>> On 3 Dec 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-04 Thread John Clark
On Mon, Dec 3, 2018 at 6:05 AM Bruno Marchal wrote: >* It is very simple. Never claim to have the truth, and always present a > theory having verifiable consequences.* > Your theory is a working Turing Machine can be made without using matter or physics, so don't show me more squiggles, show me

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-04 Thread Philip Thrift
On Tuesday, December 4, 2018 at 6:37:01 AM UTC-6, Bruno Marchal wrote: > > > On 4 Dec 2018, at 11:39, Philip Thrift > > wrote: > > > > On Tuesday, December 4, 2018 at 4:25:37 AM UTC-6, Bruno Marchal wrote: >> >> >> On 3 Dec 2018, at 23:01, Philip Thrift wrote: >> >> >> >> On Monday, December

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-04 Thread Bruno Marchal
> On 4 Dec 2018, at 11:39, Philip Thrift wrote: > > > > On Tuesday, December 4, 2018 at 4:25:37 AM UTC-6, Bruno Marchal wrote: > >> On 3 Dec 2018, at 23:01, Philip Thrift > >> wrote: >> >> >> >> On Monday, December 3, 2018 at 1:24:30 PM UTC-6, Bruno Marchal wrote: >> >>> On 2 Dec 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-04 Thread Philip Thrift
On Tuesday, December 4, 2018 at 4:25:37 AM UTC-6, Bruno Marchal wrote: > > > On 3 Dec 2018, at 23:01, Philip Thrift > > wrote: > > > > On Monday, December 3, 2018 at 1:24:30 PM UTC-6, Bruno Marchal wrote: >> >> >> On 2 Dec 2018, at 13:24, Philip Thrift wrote: >> >> >> >> On Sunday, December 2,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-04 Thread Bruno Marchal
> On 3 Dec 2018, at 23:01, Philip Thrift wrote: > > > > On Monday, December 3, 2018 at 1:24:30 PM UTC-6, Bruno Marchal wrote: > >> On 2 Dec 2018, at 13:24, Philip Thrift > >> wrote: >> >> >> >> On Sunday, December 2, 2018 at 5:23:15 AM UTC-6, Bruno Marchal wrote: >> >>> On 29 Nov 2018,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Philip Thrift
On Monday, December 3, 2018 at 1:24:30 PM UTC-6, Bruno Marchal wrote: > > > On 2 Dec 2018, at 13:24, Philip Thrift > > wrote: > > > > On Sunday, December 2, 2018 at 5:23:15 AM UTC-6, Bruno Marchal wrote: >> >> >> On 29 Nov 2018, at 20:00, Philip Thrift wrote: >> >> >> >> On Thursday, November

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Bruno Marchal
> On 3 Dec 2018, at 12:24, Philip Thrift wrote: > > > > On Monday, December 3, 2018 at 5:05:57 AM UTC-6, Bruno Marchal wrote: > > > You assume a primary physical reality. I do not, and on the contrary show > that this idea is contradictory with the Mechanist theory. > > > > > Since

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Bruno Marchal
> On 2 Dec 2018, at 13:32, Philip Thrift wrote: > > > > On Sunday, December 2, 2018 at 5:26:14 AM UTC-6, Bruno Marchal wrote: > >> On 29 Nov 2018, at 20:24, Philip Thrift > >> wrote: >> >> >> >> On Thursday, November 29, 2018 at 10:44:05 AM UTC-6, Bruno Marchal wrote: >> >>> On 27 Nov

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Bruno Marchal
> On 2 Dec 2018, at 13:24, Philip Thrift wrote: > > > > On Sunday, December 2, 2018 at 5:23:15 AM UTC-6, Bruno Marchal wrote: > >> On 29 Nov 2018, at 20:00, Philip Thrift > >> wrote: >> >> >> >> On Thursday, November 29, 2018 at 10:27:00 AM UTC-6, Bruno Marchal wrote: >> >>> On 27 Nov

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Philip Thrift
On Monday, December 3, 2018 at 5:05:57 AM UTC-6, Bruno Marchal wrote: > > > > You assume a primary physical reality. I do not, and on the contrary show > that this idea is contradictory with the Mechanist theory. > > > Since Matter (a material computer) can compute Mechanism, I don't see how

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-03 Thread Bruno Marchal
> On 30 Nov 2018, at 20:52, John Clark wrote: > > On Thu, Nov 29, 2018 at 1:53 PM Bruno Marchal > wrote: > > >>All I ask you to do is follow the scientific method. > > > I do, which is not so frequent in theology > > The scientific method in theology? You must be

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-02 Thread Philip Thrift
On Sunday, December 2, 2018 at 5:26:14 AM UTC-6, Bruno Marchal wrote: > > > On 29 Nov 2018, at 20:24, Philip Thrift > > wrote: > > > > On Thursday, November 29, 2018 at 10:44:05 AM UTC-6, Bruno Marchal wrote: >> >> >> On 27 Nov 2018, at 20:21, Brent Meeker wrote: >> >> >> What is this "primary

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-02 Thread Philip Thrift
On Sunday, December 2, 2018 at 5:23:15 AM UTC-6, Bruno Marchal wrote: > > > On 29 Nov 2018, at 20:00, Philip Thrift > > wrote: > > > > On Thursday, November 29, 2018 at 10:27:00 AM UTC-6, Bruno Marchal wrote: >> >> >> On 27 Nov 2018, at 18:50, Philip Thrift wrote: >> >> >> >> On Tuesday,

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-02 Thread Bruno Marchal
> On 29 Nov 2018, at 20:24, Philip Thrift wrote: > > > > On Thursday, November 29, 2018 at 10:44:05 AM UTC-6, Bruno Marchal wrote: > >> On 27 Nov 2018, at 20:21, Brent Meeker > >> wrote: >> >> >> What is this "primary matter" of which you speak? > > > X is Primary means basically that

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-12-02 Thread Bruno Marchal
> On 29 Nov 2018, at 20:00, Philip Thrift wrote: > > > > On Thursday, November 29, 2018 at 10:27:00 AM UTC-6, Bruno Marchal wrote: > >> On 27 Nov 2018, at 18:50, Philip Thrift > >> wrote: >> >> >> >> On Tuesday, November 27, 2018 at 4:32:53 AM UTC-6, Bruno Marchal wrote: >> >>> On 24

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-30 Thread John Clark
On Thu, Nov 29, 2018 at 1:53 PM Bruno Marchal wrote: >>All I ask you to do is follow the scientific method. > > > *> I do, which is not so frequent in theology* > The scientific method in theology? You must be kidding. > *You are the one invoking your ontological commitment when defining real

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-30 Thread Bruno Marchal
> On 29 Nov 2018, at 16:36, John Clark wrote: > > On Wed, Nov 28, 2018 at 9:08 PM Martin Abramson > wrote: > > > How do they replicate themselves with the exact same memory engrams as > > before? Thanks for the response. m.a. > > The exact mechanism

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Philip Thrift
What does this mean in terms of (the possibility of) making a Star Trek transporter? :) [ https://www.thoughtco.com/star-trek-instantaneous-matter-transport-3072118 ] - pt On Thursday, November 29, 2018 at 8:34:23 PM UTC-6, Monterey wrote: > > My original question was about copying

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Martin Abramson
My original question was about copying memories between identical carbon atoms. How does that work with DNA molecules? Are they composed of carbon atoms? On Thu, Nov 29, 2018 at 10:37 AM John Clark wrote: > On Wed, Nov 28, 2018 at 9:08 PM Martin Abramson > wrote: > > > *How do they replicate

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Philip Thrift
On Thursday, November 29, 2018 at 10:44:05 AM UTC-6, Bruno Marchal wrote: > > > On 27 Nov 2018, at 20:21, Brent Meeker > > wrote: > > > What is this "primary matter" of which you speak? > > > > X is Primary means basically that we have to assume X (or something judged > enough equivalent). >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Philip Thrift
On Thursday, November 29, 2018 at 10:27:00 AM UTC-6, Bruno Marchal wrote: > > > On 27 Nov 2018, at 18:50, Philip Thrift > > wrote: > > > > On Tuesday, November 27, 2018 at 4:32:53 AM UTC-6, Bruno Marchal wrote: >> >> >> On 24 Nov 2018, at 17:27, John Clark wrote: >> >> >> >> >> Turing

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Bruno Marchal
> On 28 Nov 2018, at 00:44, John Clark wrote: > > On Tue, Nov 27, 2018 at 5:32 AM Bruno Marchal > wrote: > > >>My commitment is with the scientific method, so when you make outlandish > >>claims (matter is not needed to make calculations Robison arithmetic alone >

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Bruno Marchal
> On 27 Nov 2018, at 20:21, Brent Meeker wrote: > > > > On 11/27/2018 2:38 AM, Bruno Marchal wrote: >> >>> On 25 Nov 2018, at 15:41, John Clark >> > wrote: >>> >>> On Sun, Nov 25, 2018 at 4:40 AM Philip Thrift >> > wrote: >>> >>>

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread Bruno Marchal
> On 27 Nov 2018, at 18:50, Philip Thrift wrote: > > > > On Tuesday, November 27, 2018 at 4:32:53 AM UTC-6, Bruno Marchal wrote: > >> On 24 Nov 2018, at 17:27, John Clark > >> wrote: > > > >> Turing explained how matter can behave intelligently, > > No. He showed how a person can be

Re: Towards Conscious AI Systems (a symposium at the AAAI Stanford Spring Symposium 2019)

2018-11-29 Thread John Clark
On Wed, Nov 28, 2018 at 9:08 PM Martin Abramson wrote: > *How do they replicate themselves with the exact same memory engrams as > before? Thanks for the response. m.a.* > The exact mechanism depends on the specific example, computers have many different ways to duplicate information. In

  1   2   3   >