<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.mcntmsonormal, li.mcntmsonormal, div.mcntmsonormal
{mso-style-name:mcntmsonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
p.mcntmsochpdefault, li.mcntmsochpdefault, div.mcntmsochpdefault
{mso-style-name:mcntmsochpdefault;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
span.mcntmsohyperlink
{mso-style-name:mcntmsohyperlink;}
span.mcntmsohyperlinkfollowed
{mso-style-name:mcntmsohyperlinkfollowed;}
span.mcntemailstyle17
{mso-style-name:mcntemailstyle17;}
p.mcntmsonormal1, li.mcntmsonormal1, div.mcntmsonormal1
{mso-style-name:mcntmsonormal1;
margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
span.mcntmsohyperlink1
{mso-style-name:mcntmsohyperlink1;
mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.mcntmsohyperlinkfollowed1
{mso-style-name:mcntmsohyperlinkfollowed1;
mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle25
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.clickable
{mso-style-name:clickable;}
span.detail
{mso-style-name:detail;}
span.EmailStyle28
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><div><div style='border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0in 0in 0in'><p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>>… Behalf Of </span></b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Anders Sandberg<br><b>Subject:</b> Re: [ExI] singularity talk at lmco<o:p></o:p></span></p></div></div><p class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal><o:p> </o:p></p></div><p class=MsoNormal><span class=clickable>spike</span><span class=detail> <<a href="mailto:spike66@att.net">spike66@att.net</a>></span> , 14/5/2015 1:16 AM:<o:p></o:p></p><div><p class=mcntmsonormal1>I had an idea for bringing about the singularity<span style='color:#1F497D'>…</span> We start with 10^12 bits, set them all to zero, run that, if no singularity, set the first bit to 1, run that, no singularity, second bit to 1 first to 0, and so on<span style='color:#1F497D'>…</span><o:p></o:p></p></div><div><p class=MsoNormal><o:p> </o:p></p></div><div><p class=MsoNormal><span style='color:#1F497D'>>…</span>There is of course the obvious problem that 2^2^12 runs is a *tad* more than what can be done in the universe. But there is also another cool problem: the time needed to check whether you get a singularity. <o:p></o:p></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Well sure, 2^2^12 is about2^10^3.6 or 2^4000 which is about 10^1200 or so programs to try, if we really must think in base 10, the way we wet gooey carbon units like to do. I still prefer to think of it as 2^2^12. But if we get on it immediately, perhaps the first singularity-producing program will be sufficiently smart to figure out a way to stop protons from decaying while there are still sufficient numbers of them to pair up with the lonely widow electrons whose protons have already decayed.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p></div><div><p class=MsoNormal><span style='color:#1F497D'>>…</span>So on one hand you could have real singularities like AIXI(tl) that are immensely slow, and fake ones that actually aren't going indefinitely but you cannot wait long enough to see that they are fake. In fact, by the uncomputability of the sigma function, I think it follows that there is no Turing-program that can tell them apart even in theory!<span style='color:#1F497D'> </span>Anders Sandberg<span style='color:#1F497D'>…<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Thanks Anders! This is so cool. The Singularity talk is this afternoon. News at 11.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>spike<o:p></o:p></span></p></div></div></body></html>