<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Again, I am not talking about perfect performance. It is enough for
Siri to recognize what kind of questions it is unlikely to give a
satisfactory answer to (essentially just a supervised learning
problem of mapping questions to user satisfaction) and say it. It
will sometimes make mistakes, but that is practically OK. Note the
huge gulf between mathematical in-principle arguments and actual
computational feasibility. <br>
<br>
<br>
<div class="moz-cite-prefix">On 2016-03-13 22:32, John Clark wrote:<br>
</div>
<blockquote
cite="mid:CAJPayv2tTWFU3LYADOqyyTsqBZBhwuojOE=6rpVCeZyPvxh96Q@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif"><span
style="font-family:arial,sans-serif">On Sun, Mar 13, 2016 at
2:26 PM, Anders Sandberg </span><span dir="ltr"
style="font-family:arial,sans-serif"><<a
moz-do-not-send="true" href="mailto:anders@aleph.se"
target="_blank"><a class="moz-txt-link-abbreviated" href="mailto:anders@aleph.se">anders@aleph.se</a></a>></span><span
style="font-family:arial,sans-serif"> wrote:</span><br>
</div>
<div class="gmail_extra">
<div class="gmail_quote"><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span
style="font-size:12.8px">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;display:inline">
> </div>
In principle a learning system might even be able to learn
what it cannot do, avoiding wasting time </span></blockquote>
<div><br>
</div>
<div><font size="4">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;display:inline">
But Turing tells us in general that can not be done.
Maybe looking for a example to prove that the </div>
Goldbach conjecture
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;display:inline">
is wrong is a waste of time and maybe it's not, and
maybe looking for a proof that </div>
Goldbach
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;display:inline">
is right is a waste of time and maybe it's not; and
maybe Goldbach is true but not provable so both things
are a waste of time. T</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;display:inline">hat
is why a AI, or any form of intelligence, needs both the
ability to get bored and the ability to disobey an
order.</div>
</font></div>
<div><font size="4"><br>
</font></div>
<div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif"><font
size="4"> John K Clark </font></div>
<br>
</div>
<div><br>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
extropy-chat mailing list
<a class="moz-txt-link-abbreviated" href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a>
<a class="moz-txt-link-freetext" href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Anders Sandberg
Future of Humanity Institute
Oxford Martin School
Oxford University</pre>
</body>
</html>