Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread 'Chris de Morsella' via Everything List
On 2/19/2018 12:27 PM, 'Chris de Morsella' via Everything List wrote: On Mon, Feb 19, 2018 at 3:56 AM, Lawrence Crowell  wrote:On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: On 2/18/2018 6:26 PM, Lawrence Crowell wrote: Computers such as AlphaGo have complex algorithms for

Re: Can a Robot Have Free Will?

2018-02-19 Thread Brent Meeker
On 2/19/2018 7:11 PM, John Clark wrote: ​ ​ Keith Douglas Farnsworth. Can a Robot Have Free Will? Entropy 19, no. 5 (2017): 237. http://www.mdpi.com/1099-4300/19/5/237 / ​> ​ a precise, scientifically inspired, definition of free-will

Re: Can a Robot Have Free Will?

2018-02-19 Thread John Clark
> > ​ ​ Keith Douglas Farnsworth. Can a Robot Have Free Will? Entropy 19, no. 5 (2017): 237. > http://www.mdpi.com/1099-4300/19/5/237 *​> ​a precise, scientifically inspired, definition of free-will is offered > and the essential requirements for an agent to possess it in principle are > set out

Re: Goedel incompleteness

2018-02-19 Thread John Clark
On Mon, Feb 19, 2018 at 7:41 PM, Brent Meeker wrote: ​> ​ > There might be a lot of axiomatic systems that can't model arithmetic. > For one thing they need to be countably infinite to do so. So that's why > I'm asking whether there is some other, more general critereon to show a > system must b

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Lawrence Crowell
It is getting a bit late and was planning to respond more on this. The nonlinear aspect to consciousness may well relevant. In fact consciousness may have a lot to do with it with respect to chaos theory. More later LC On Monday, February 19, 2018 at 2:27:37 PM UTC-6, cdemorsella wrote: > > > >

Re: Goedel incompleteness

2018-02-19 Thread Brent Meeker
On 2/19/2018 3:34 PM, John Clark wrote: On Mon, Feb 19, 2018 at 3:55 PM, Brent Meeker >wrote: ​> ​ Is there a non-constructive way to determine whether an axiomatic system (axioms+inference rules) must be Goedel incomplete?  Must one show that arith

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread agrayson2000
On Monday, February 19, 2018 at 3:05:53 PM UTC-7, Brent wrote: > > > > On 2/19/2018 12:37 PM, agrays...@gmail.com wrote: > > > *I viewed it. Very impressive what they can do. However, I'd be MORE > impressed, indeed HUGELY impressed with the existence of consciousness, if > without an algorith

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread John Clark
On Mon, Feb 19, 2018 at 6:48 AM, Bruno Marchal wrote: ​​ > ​> > ​>>​ > the (conscious) mind comes from the relation between the brain and truth > ​>> ​ >> ​OK, but then how do you figure >> ​ m >> ind does not come out of the brain >> ​?​ >> > ​> ​ > The conscious mind does not. > ​You just

Re: Goedel incompleteness

2018-02-19 Thread John Clark
On Mon, Feb 19, 2018 at 3:55 PM, Brent Meeker wrote: ​> ​ > Is there a non-constructive way to determine whether an axiomatic system > (axioms+inference rules) must be Goedel incomplete? Must one show that > arithmetic is a model or is there some simpler method? ​ Any ​ axiomatic system ​ powe

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread John Clark
On Mon, Feb 19, 2018 at 6:56 AM, Lawrence Crowell < goldenfieldquaterni...@gmail.com> wrote: *​> ​I think it may come down to computers that obey the Church-Turing > thesis,* > ​It states that a human can compute a function of ​ positive integer ​s ​if and only if a Turing Machine (aka a compute

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Brent Meeker
On 2/19/2018 12:37 PM, agrayson2...@gmail.com wrote: *I viewed it. Very impressive what they can do. However, I'd be MORE impressed, indeed HUGELY impressed with the existence of consciousness, if without an algorithm explicitly programming it, the computer would REFUSE to do as commanded.

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Brent Meeker
On 2/19/2018 12:27 PM, 'Chris de Morsella' via Everything List wrote: On Mon, Feb 19, 2018 at 3:56 AM, Lawrence Crowell wrote: On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: On 2/18/2018 6:26 PM, Lawrence Crowell wrote: Computers such as Alpha

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread John Clark
On Sun, Feb 18, 2018 at 9:26 PM, Lawrence Crowell < goldenfieldquaterni...@gmail.com> wrote: *​> ​Computers such as AlphaGo have complex algorithms for taking the rules > of a game like chess and running through long Markov chains of game events > to increase their data base for playing the game.*

Goedel incompleteness

2018-02-19 Thread Brent Meeker
Is there a non-constructive way to determine whether an axiomatic system (axioms+inference rules) must be Goedel incomplete?  Must one show that arithmetic is a model or is there some simpler method? Brent -- You received this message because you are subscribed to the Google Groups "Everythin

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread agrayson2000
On Sunday, February 18, 2018 at 9:06:11 PM UTC-7, Brent wrote: > > > > On 2/18/2018 7:41 PM, agrays...@gmail.com wrote: > > > > On Sunday, February 18, 2018 at 8:35:59 PM UTC-7, Brent wrote: >> >> >> >> On 2/18/2018 12:15 PM, agrays...@gmail.com wrote: >> >> >> >> On Sunday, February 18, 2018 a

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread 'Chris de Morsella' via Everything List
On Mon, Feb 19, 2018 at 3:56 AM, Lawrence Crowell wrote: On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: On 2/18/2018 6:26 PM, Lawrence Crowell wrote: Computers such as AlphaGo have complex algorithms for taking the rules of a game like chess and running throug

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Brent Meeker
On 2/19/2018 3:56 AM, Lawrence Crowell wrote: On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: On 2/18/2018 6:26 PM, Lawrence Crowell wrote: Computers such as AlphaGo have complex algorithms for taking the rules of a game like chess and running through long Markov

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Brent Meeker
On 2/19/2018 3:48 AM, Bruno Marchal wrote: On 19 Feb 2018, at 00:12, John Clark > wrote: On Sun, Feb 18, 2018 at 1:43 PM, Bruno Marchal >wrote: > ​>>​ mind does not come out of the brain ​>

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Lawrence Crowell
On Monday, February 19, 2018 at 10:22:47 AM UTC-6, Bruno Marchal wrote: > > > On 19 Feb 2018, at 13:13, Lawrence Crowell > wrote: > > On Monday, February 19, 2018 at 5:46:16 AM UTC-6, Bruno Marchal wrote: >> >> >> On 18 Feb 2018, at 21:38, Lawrence Crowell >> wrote: >> >> On Sunday, February 18,

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 12:56, Lawrence Crowell > wrote: > > On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: > > > On 2/18/2018 6:26 PM, Lawrence Crowell wrote: >> Computers such as AlphaGo have complex algorithms for taking the rules of a >> game like chess and running through

Re: What falsifiability tests has computationalism passed?

2018-02-19 Thread Telmo Menezes
Also, >> The strong AI thesis is that such machine would be conscious > > > Where is the world did you get that idea? The term "strong AI thesis" was > invented by working scientists AFAIK, the term "Strong AI" was introduced by John Searle, a Professor of Philosophy. I am not sure what "working

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 13:13, Lawrence Crowell > wrote: > > On Monday, February 19, 2018 at 5:46:16 AM UTC-6, Bruno Marchal wrote: > >> On 18 Feb 2018, at 21:38, Lawrence Crowell > > wrote: >> >> On Sunday, February 18, 2018 at 9:57:37 AM UTC-6, Bruno Marchal wrote: >> >>> On 10 Feb 2018, at 1

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 04:41, agrayson2...@gmail.com wrote: > > > > On Sunday, February 18, 2018 at 8:35:59 PM UTC-7, Brent wrote: > > > On 2/18/2018 12:15 PM, agrays...@gmail.com wrote: >> >> >> On Sunday, February 18, 2018 at 12:09:37 PM UTC-7, Brent wrote: >> >> >> On 2/18/2018 6:11 AM,

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 04:32, agrayson2...@gmail.com wrote: > > > > On Sunday, February 18, 2018 at 8:24:40 PM UTC-7, Brent wrote: > > > On 2/18/2018 9:58 AM, agrays...@gmail.com wrote: >> >> >> On Sunday, February 18, 2018 at 10:54:58 AM UTC-7, agrays...@gmail.com <> >> wrote: >> >> >> O

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 02:28, John Clark wrote: > > On Sun, Feb 18, 2018 at 7:51 PM, Lawrence Crowell > mailto:goldenfieldquaterni...@gmail.com>> > wrote: > > ​> ​That is a canned. It is only a question because we recognize it as such, > not because the computer somehow knows that. > > How wo

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 00:26, John Clark wrote: > > On Sun, Feb 18, 2018 at 9:11 AM, Lawrence Crowell > mailto:goldenfieldquaterni...@gmail.com>> > wrote: > > ​> ​One thing a computer can not do is ask a question. > > You've never had a computer ask you what your password is? That is usually

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Bruno Marchal
> On 18 Feb 2018, at 18:54, agrayson2...@gmail.com wrote: > > > > On Sunday, February 18, 2018 at 7:11:38 AM UTC-7, Lawrence Crowell wrote: > On Sunday, February 18, 2018 at 4:25:07 AM UTC-6, Russell Standish wrote: > On Sat, Feb 17, 2018 at 05:19:22PM -0800, Brent Meeker wrote: > > > > > >

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Lawrence Crowell
On Monday, February 19, 2018 at 5:46:16 AM UTC-6, Bruno Marchal wrote: > > > On 18 Feb 2018, at 21:38, Lawrence Crowell > wrote: > > On Sunday, February 18, 2018 at 9:57:37 AM UTC-6, Bruno Marchal wrote: >> >> >> On 10 Feb 2018, at 14:29, Lawrence Crowell >> wrote: >> >> On Friday, February 9, 2

Re: Singularity -- when AI exceeds human intelligence

2018-02-19 Thread Lawrence Crowell
On Sunday, February 18, 2018 at 10:00:24 PM UTC-6, Brent wrote: > > > > On 2/18/2018 6:26 PM, Lawrence Crowell wrote: > > Computers such as AlphaGo have complex algorithms for taking the rules of > a game like chess and running through long Markov chains of game events to > increase their data ba

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Bruno Marchal
> On 19 Feb 2018, at 00:12, John Clark wrote: > > On Sun, Feb 18, 2018 at 1:43 PM, Bruno Marchal > wrote: > > >​>>​ mind does not come out of the brain > > ​>> ​Then why does changing the brain change the mind > > ​> ​Because the (conscious) mind comes from the rela

Re: Why Alien Life Would be our Doom - The Great Filter

2018-02-19 Thread Bruno Marchal
> On 18 Feb 2018, at 21:38, Lawrence Crowell > wrote: > > On Sunday, February 18, 2018 at 9:57:37 AM UTC-6, Bruno Marchal wrote: > >> On 10 Feb 2018, at 14:29, Lawrence Crowell > > wrote: >> >> On Friday, February 9, 2018 at 8:05:09 PM UTC-6, agrays...@gmail.com >> wrote: