CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=gbk" /> <title>科学网—不确定性的困惑与NP理论 - 柳渝</title> <meta name="keywords" content="liuyu2205的博客" /> <meta name="description" content="liuyu2205的博客 ,科学网" /> <meta name="generator" content="Discuz! X3.3" /> <meta name="author" content="Discuz! Team and Comsenz UI Team" /> <meta name="copyright" content="2001-2017 Comsenz Inc." /> <meta name="MSSmartTagsPreventParsing" content="True" /> <meta http-equiv="MSThemeCompatible" content="Yes" /> <base href="https://blog.sciencenet.cn/" /><link rel="stylesheet" type="text/css" href="data/cache/style_1_common.css?qw2" /><link rel="stylesheet" type="text/css" href="data/cache/style_1_home_space.css?qw2" /><link rel="stylesheet" id="css_extstyle" type="text/css" href="./template/default/style/t1/style.css" /><script type="text/javascript">var STYLEID = '1', STATICURL = 'static/', IMGDIR = 'static/image/common', VERHASH = 'qw2', charset = 'gbk', discuz_uid = '0', cookiepre = 'WUAe_5e15_', cookiedomain = 'sciencenet.cn', cookiepath = '/', showusercard = '1', attackevasive = '0', disallowfloat = 'newthread', creditnotice = '', defaultstyle = './template/default/style/t1', REPORTURL = 'aHR0cDovL2Jsb2cuc2NpZW5jZW5ldC5jbi8vaG9tZS5waHA/bW9kPXNwYWNlJnVpZD0yMzIyNDkw', SITEURL = 'https://blog.sciencenet.cn/', JSPATH = 'static/js/', CSSPATH = 'data/cache/style_', DYNAMICURL = '';</script> <script src="static/blog/js/jquery-1.8.3.min.js" type="text/javascript"></script> <script src="static/js/common.js?qw2" type="text/javascript"></script> <script src="static/js/home.js?qw2" type="text/javascript"></script> <link rel="stylesheet" type="text/css" href="data/cache/style_1_css_space.css?qw2" /> <link id="style_css" rel="stylesheet" type="text/css" href="static/space/t1/style.css?qw2"> <style id="diy_style"></style> <script type="text/javascript"> /* function operate() { setTimeout("disappeare()",10000); } function disappeare(){ document.getElementById('tishi').style.display = "none"; } operate(); */ </script> </head> <body id="space" onkeydown="if(event.keyCode==27) return false;"> <div id="append_parent"></div> <div id="ajaxwaitid"></div> <div class="topnav cl"> <p class="y navinf"> <a href="member.php?mod=register">注册</a> <span class="pipe">|</span><a href="member.php?mod=logging&action=login" onClick="showWindow('login', this.href);hideWindow('register');">登录</a> </p> <ul class="cl"> <li class="navlogo"><a href="http://blog.sciencenet.cn/blog.php" title="构建全球华人科学博客圈">构建全球华人科学博客圈</a></li>  <li><span id="navs" class="xg1 showmenu" onMouseOver="showMenu(this.id);"><a href="http://www.sciencenet.cn/">返回首页</a></span></li>  <li><span id="navs" class="xg1"><a target="_blank" href="https://blog.sciencenet.cn/rss.php?uid=2322490">RSS订阅</a></span></li> <li><span id="navs" class="xg1"><a href="http://blog.sciencenet.cn/misc.php?mod=faq">帮助</a></span></li> </ul> </div> <div id="hd" class="wp cl"> <h2 id="spaceinfoshow">  <strong id="spacename" class="mbn" > 不确定性的困惑与NP理论<a class="oshr xs1 xw0" onClick="showWindow(this.id, this.href, 'get', 0);" id="share_space" href="home.php?mod=spacecp&ac=share&type=space&id=2322490">分享</a></strong> <a id="domainurl" href="http://blog.sciencenet.cn/u/liuyu2205" onClick="javascript:setCopy('http://blog.sciencenet.cn/u/liuyu2205', '博客地址复制成功');return false;" class="xs0 xw0">http://blog.sciencenet.cn/u/liuyu2205</a> <span id="spacedescription" class="xs1 xw0 mtn" >平常心是道</span> </h2> <div id="nv"> <ul class="perCenter"> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490">博客首页</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=home&view=me&from=space">动态</a></li>    <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&view=me&from=space">博文</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=video&view=view&from=space">视频</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=album&view=me&from=space">相册</a></li>   <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=friend&view=me&from=space">好友</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=wall">留言板</a></li>   </ul> </div> </div> <div class="p_pop h_pop" id="mn_userapp_menu" style="display: none"></div> <ul id="navs_menu" class="p_pop topnav_pop" style="display:none;"> <li id="mn_N59f6" ><a href="http://www.sciencenet.cn/" hidefocus="true" >首页</a></li> <li id="mn_N3b56" ><a href="http://news.sciencenet.cn/" hidefocus="true" >新闻</a></li> <li id="mn_Nd081" ><a href="http://blog.sciencenet.cn/blog.php" hidefocus="true" >博客</a></li> <li id="mn_N968f" ><a href="http://talent.sciencenet.cn/" hidefocus="true" >人才</a></li> <li id="mn_N9d75" ><a href="http://meeting.sciencenet.cn/" hidefocus="true" >会议</a></li> <li id="mn_N1867" ><a href="http://fund.sciencenet.cn/" hidefocus="true" >基金</a></li> <li id="mn_Nec23" ><a href="http://paper.sciencenet.cn/" hidefocus="true" >论文</a></li> <li id="mn_Nc1d1" ><a href="http://video.sciencenet.cn/" hidefocus="true" >视频</a></li> <li id="mn_Nffd8" ><a href="http://paper.sciencenet.cn/AInews" hidefocus="true" >小柯机器人</a></li> <li id="mn_home_13" ><a href="https://blog.sciencenet.cn/home.php?mod=space&do=album" hidefocus="true" title="Album" >相册<span>Album</span></a></li> <li id="mn_N0a2c" ><a href="misc.php?mod=faq" hidefocus="true" title="Help" >帮助<span>Help</span></a></li> </ul> <ul id="wbnavs_menu" class="p_pop topnav_pop" style="display:none;">  <li id="mn_N59g9"><a href="http://weibo.sciencenet.cn/?&act=follower" hidefocus="true">粉丝</a></li> <li id="mn_N59g9"><a href="http://weibo.sciencenet.cn/?&act=comments" hidefocus="true">评论</a></li> <li id="mn_N59g9"><a href="http://weibo.sciencenet.cn/?&act=atme" hidefocus="true">@我</a></li> <li id="mn_N59g9"><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=privacy&op=miniblog" hidefocus="true">提醒</a></li></ul> <ul id="myspace_menu" class="p_pop" style="display:none;"> <li><a href="https://blog.sciencenet.cn/home.php?mod=space">我的博客</a></li> </ul> <style type="text/css"> .ec a .tn { border: 1px solid #cdcdcd; float:left; max-height: 90px; max-width: 90px; padding: 2px; } .ec .tn { cursor: pointer; margin: 10px 10px 0 0; } </style> <div id="ct" class="wp w cl"> <div id="diypage" class="area"> <div id="frame1" class="frame cl" noedit="1"> <div id="frame1_left" style="width:240px" class="z column"> <div id="profile" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=profile&view=me">个人资料</a></span></div><div id="profile_content" class="content"><div id="pcd"><div class="hm"><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490" target="__blank"><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/002/32/24/90_avatar_middle.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_middle.gif?v='" /></a></p><h2><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490" target="__blank">柳渝</a></h2></div><ul class="xl xl2 cl ul_list"><li class='ul_add'><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=friend&op=add&uid=2322490&handlekey=addfriendhk_2322490" id="a_friend_li_2322490" onclick="showWindow(this.id, this.href, 'get', 0);">加为好友</a></li><li class='ul_msg'><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=wall">给我留言</a></li><li class='ul_poke'><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=poke&op=send&uid=2322490&handlekey=propokehk_2322490" id="a_poke_2322490" onclick="showWindow(this.id, this.href, 'get', 0);">打个招呼</a></li><li class='ul_pm'><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=pm&op=showmsg&handlekey=showmsg_2322490&touid=2322490&pmid=0&daterange=2" id="a_sendpm_2322490" onclick="showWindow('showMsgBox', this.href, 'get', 0)">发送消息</a></li><li><img src="../../static/image/feed/id.gif" width="14" /><a href="http://id.sciencenet.cn" target="_blank" style="padding-left:4px">学术名片</a></li><li><img src="../../static/image/feed/video.gif" width="14" /><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=uploadv" style="padding-left:4px">上传视频</a></li></ul><ul class="xl cl ul_list" style="border-top:1px solid #DFDFDF; margin-top:10px;"><li class="ul_diy" style="width:98%"><label style="color:#2F496F">工作情况：</label><br />Université de Picardie Jules Verne，其它，副教授</li><ul class="xl cl ul_list" style="border-top:1px solid #DFDFDF; border-bottom:1px solid #DFDFDF; margin:10px 0;"><li class="ul_diy" style="width:98%"><label style="color:#2F496F">研究领域：</label><br>信息科学->计算机科学->计算机科学的基础理论</li></ul><script src="/static/js/qrcode.min.js"></script><div style="width:100%; margin:0 auto;text-align:center;"><div id="qrcodeb" align="center"></div><br />扫一扫，分享此博客主页</div> <script> var qrcode = new QRCode('qrcodeb', {text: 'http://blog.sciencenet.cn/home.php?mod=space&uid=2322490', width: 150, height: 150,colorDark : '#000000',colorLight : '#ffffff',correctLevel : QRCode.CorrectLevel.H}); </script></div></div></div> <div id="album" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=album&view=me">相册</a></span></div><div id="album_content" class="content"><ul class="ml mla cl"></ul></div></div> <div id="wall" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=wall&view=me">留言板</a></span><span class="y xw0"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=wall">全部</a></span></div><div id="wall_content" class="content"><div class="space_wall_post"> <form action="home.php?mod=spacecp&ac=comment" id="quickcommentform_2322490" name="quickcommentform_2322490" method="post" autocomplete="off" onsubmit="ajaxpost('quickcommentform_2322490', 'return_commentwall_2322490');doane(event);"> <div class="pt hm">你需要登录后才可以留言 <a href="member.php?mod=logging&action=login" onclick="showWindow('login', this.href)" class="xi2">登录</a> | <a href="member.php?mod=register" class="xi2">注册</a></div> <p class="ptn"><button type="button" onclick="showWindow('login', 'member.php?mod=logging&action=login&guestmessage=yes')" name="commentsubmit_btn" value="true" id="commentsubmit_btn" class="pn"><strong>留言</strong></button></p> <input type="hidden" name="handlekey" value="commentwall_2322490" /> <span id="return_commentwall_2322490"></span> <input type="hidden" name="formhash" value="4c3bb4cd" /> </form> </div><hr class="da mtm m0"><div class="xld xlda el" id="comment_ul"><dl class="bbda cl" id="comment_5476732_li"> <dd class="m avt"> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=43347" target="_blank"><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/04/33/47_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a> </dd> <dt> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=43347" id="author_5476732" target="_blank">vcitym</a> <span class="y xw0"></span> <span class="xg1 xw0">2023-8-28 11:21</span> <span class="xgl"></span> </dt> <dd id="comment_5476732">因《易经》二相识。</dd> </dl><dl class="bbda cl" id="comment_5444770_li"> <dd class="m avt"> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=241229" target="_blank"><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/24/12/29_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a> </dd> <dt> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=241229" id="author_5444770" target="_blank">zhengbojin</a> <span class="y xw0"></span> <span class="xg1 xw0">2022-12-2 13:10</span> <span class="xgl"></span> </dt> <dd id="comment_5444770"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=241229&do=blog&id=1366200" target="_blank">https://blog.sciencenet.cn/home.php?mod=space&uid=241229&do=blog&id=1366200</a></dd> </dl><dl class="bbda cl" id="comment_5246871_li"> <dd class="m avt"> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" target="_blank"><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/10/76/67_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a> </dd> <dt> <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" id="author_5246871" target="_blank">zlyang</a> <span class="y xw0"></span> <span class="xg1 xw0">2020-1-1 14:08</span> <span class="xgl"></span> </dt> <dd id="comment_5246871">祝您和全家人2020新年快乐！ <img src="static/image/smiley/comcom/3.gif" class="vm"></dd> </dl><dl><dt><span class="y xw0"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=wall">查看全部</a></span><dt></dl></div></div></div> <div id="statistic" class="block move-span"> <div class="blocktitle title"><span>统计信息</span></div><div id="statistic_content" class="content"><div id="pcd"><p class="mbm xw1">已有 <strong class="xi1">2971405</strong> 人来访过</p><ul class="xl xl2 cl"><li>积分: <a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=credit">78</a></li><li>威望: <a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=credit">--</a><li>金币: <a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=credit">53</a><li>活跃度: <a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=credit">251295</a><li>好友: <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=friend&view=me&from=space">83</a></li><li>主题: <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=thread&view=me&from=space">--</a></li><li>博文: <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&view=me&from=space">667</a></li><li>相册: <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=album&view=me&from=space">--</a></li><li>分享: <a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=share&view=me&from=space">--</a></li></ul></div></div></div> </div> <div id="frame1_center" style="width:480px" class="z column"> <div id="blog" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&view=me">博文</a></span></div><div id="blog_content" class="content xld"><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461249" target="_blank"><img title='精选' src='./static/image/blog/recommendico.gif' height='12px' width='12px'/>艾伦-图灵的贡献（Charles Petzold，2012）</a><span class="xg2 xw0"> 2024-11-23</span></dt><dd>当我在为我的书《图灵注释：艾伦 · 图灵关于可计算性和图灵机的历史性论文导览》（ Wiley ， 2008 年）做研究时，对图灵为计算所做出的深远贡献而 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461249" target="_blank">(4558)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461249#comment" target="_blank">(2)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461248" target="_blank">图灵机走向大众（Charles Petzold）</a><span class="xg2 xw0"> 2024-11-23</span></dt><dd>许多为普通读者撰写的 “ 计算机工作原理 ” 书籍都包含对图灵机的讨论，我从未真正明白这一点，尽管图灵机非常适合研究可计算性概念，但我认为它对理解计算机 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461248" target="_blank">(481)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461248#comment" target="_blank">(0)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461230" target="_blank">夏季阅读：《知道太多的人：艾伦·图灵和计算机的发明》（Charles Petzold）</a><span class="xg2 xw0"> 2024-11-22</span></dt><dd>《知道太多的人：艾伦 · 图灵和计算机的发明》（ W. W. Norton ， 2006 年）由大卫 · 莱维特（ David Leavitt ）（以《鹤的消失语言》（ The Lost Language ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461230" target="_blank">(660)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461230#comment" target="_blank">(0)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461200" target="_blank">读《剑桥五重奏》（Charles Petzold）</a><span class="xg2 xw0"> 2024-11-22</span></dt><dd>最近，一位朋友向我提到了约翰 ·L· 卡斯蒂（ John L. Casti ）的《剑桥五重奏：科学推测之作》（ Perseus Books ， 1998 ），因为艾伦 · 图灵在这部有关机器 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461200" target="_blank">(725)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461200#comment" target="_blank">(2)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460895" target="_blank">永不停机的图灵机（Charles Petzold）</a><span class="xg2 xw0"> 2024-11-20</span></dt><dd>如果我对我的书《图灵注释：艾伦 · 图灵关于可计算性和图灵机的历史性论文导读》有一个希望，那就是帮助读者理解图灵的原始图灵机与大学课程和教科书中常见的 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460895" target="_blank">(753)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460895#comment" target="_blank">(4)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460805" target="_blank">图灵与“停机问题”（Charles Petzold）</a><span class="xg2 xw0"> 2024-11-20</span></dt><dd>Charles Petzold 是《 The Annotated Turing : A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine 》 ( 图灵注释 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460805" target="_blank">(372)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1460805#comment" target="_blank">(0)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1459061" target="_blank">“停机问题”溯源（Salvador Lucas）</a><span class="xg2 xw0"> 2024-11-07</span></dt><dd>“The origins of the halting problem” 的作者 Salvador Lucas 是西班牙的瓦伦西亚理工大学 (Universitat Politècnica de València) 计算机系的教授 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1459061" target="_blank">(950)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1459061#comment" target="_blank">(5)个评论</a></dd></dl><dl class="bbda cl"><dt><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1458349" target="_blank">附录：关于东西方洞察整体的形式的讨论概要</a><span class="xg2 xw0"> 2024-11-03</span></dt><dd>在文明发展的早期阶段，人的观点本质上是整体性的，而不是碎片化的。在东方（尤其是印度），这种观点仍然存在，因为哲学和宗教强调整体性，并暗示将世界分成几 ...</dd><dd class="xg1"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1458349" target="_blank">(1154)次阅读</a><span class="pipe">|</span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1458349#comment" target="_blank">(4)个评论</a></dd></dl><p class="ptm" style="text-align: right;"><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&view=me&from=space">查看更多</a></p></div></div> <div id="feed" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=feed&view=me">动态</a></span></div><ul id="feed_content" class="content el"><li class="cl " id="feed_4934017_li"><div class="cl" ><a class="t" href="home.php?mod=space&uid=2322490&do=home&view=me&appid=0&icon=blog" title="只看此类动态"><img src="static/image/feed/blog.gif" /></a><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490" target="_blank" >柳渝</a> 发表了新博文 <span class="xg1">11-23 06:51</span><div class="ec"><div class="d" ><b><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461249" target="_blank" >艾伦-图灵的贡献（Charles Petzold，2012）</a></b><br />当我在为我的书《图灵注释：艾伦 · 图灵关于可计算性和图灵机的历史性论文导览》（ Wiley ， 2008 年）做研究时，对图灵为计算所做出的深远贡献而 ...</div></div></div></li><li class="cl " id="feed_4933870_li"><div class="cl" ><a class="t" href="home.php?mod=space&uid=2322490&do=home&view=me&appid=0&icon=blog" title="只看此类动态"><img src="static/image/feed/blog.gif" /></a><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490" target="_blank" >柳渝</a> 发表了新博文 <span class="xg1">11-22 17:21</span><div class="ec"><div class="d" ><b><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1461200" target="_blank" >读《剑桥五重奏》（Charles Petzold）</a></b><br />最近，一位朋友向我提到了约翰 ·L· 卡斯蒂（ John L. Casti ）的《剑桥五重奏：科学推测之作》（ Perseus Books ， 1998 ），因为艾伦 · 图灵在这部有关机器 ...</div></div></div></li></ul></div> <div id="doing" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=doing&view=me"></a></span></div><div id="doing_content" class="content"><ul class="xl"><p class="emp">现在还没有记录</p></ul></div></div> <div id="share" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=share&view=me"></a></span></div><div id="share_content" class="content"><ul class="el"></ul></div></div> </div> <div id="frame1_right" style="width:240px" class="z column"> <div id="friend" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=friend&view=me">好友</a></span></div><div id="friend_content" class="content"><ul class="ml mls cl"><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/10/76/67_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" target="_blank">杨正瓴</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1328447" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/001/32/84/47_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1328447" target="_blank">王光明</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=329317" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/32/93/17_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=329317" target="_blank">zjzhaokeqin</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2386919" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/002/38/69/19_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2386919" target="_blank">Framces</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=629831" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/62/98/31_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=629831" target="_blank">郑智捷</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2446134" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/002/44/61/34_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2446134" target="_blank">张文明</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=38450" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/03/84/50_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=38450" target="_blank">shenlu</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=329944" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/32/99/44_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=329944" target="_blank">qygrswg</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=575232" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/57/52/32_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=575232" target="_blank">陈立平</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2534804" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/002/53/48/04_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2534804" target="_blank">王丹</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=105489" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/10/54/89_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=105489" target="_blank">刘钢</a></p></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=683543" target="_blank"><em class=""></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/68/35/43_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=683543" target="_blank">刘学武</a></p></li></ul></div></div> <div id="visitor" class="block move-span"> <div class="blocktitle title"><span><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=friend&view=visitor">最近访客</a></span></div><div id="visitor_content" class="content"><ul class="ml mls cl"><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/10/76/67_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=107667" title="杨正瓴">杨正瓴</a></p><span class="xg2"><span title="2024-11-25">前天 05:04</span></span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1213429" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/001/21/34/29_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1213429" title="蔡宁">蔡宁</a></p><span class="xg2"><span title="2024-11-23">4 天前</span></span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=750818" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/000/75/08/18_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=750818" title="宁利中">宁利中</a></p><span class="xg2"><span title="2024-11-23">4 天前</span></span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3475429" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/003/47/54/29_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3475429" title="李博闻">李博闻</a></p><span class="xg2">2024-11-06</span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3433633" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/003/43/36/33_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3433633" title="段德龙">段德龙</a></p><span class="xg2">2024-10-28</span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3519678" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/003/51/96/78_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=3519678" title="刘永红">刘永红</a></p><span class="xg2">2024-10-27</span></li><li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1458267" target="_blank" class="avt"><em class=""></em><em class="{self}" onclick="javascript:removeVisitor(event, {cuid});" title="删除访问足迹"></em><img src="https://image-attachment.oss-cn-beijing.aliyuncs.com/data/www/html/uc_server/data/avatar/001/45/82/67_avatar_small.jpg?v=" onerror="this.onerror=null;this.src='https://bbs.sciencenet.cn/uc_server/images/noavatar_small.gif?v='" /></a><p><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=1458267" title="檀成龙">檀成龙</a></p><span class="xg2">2024-10-15</span></li></ul></div></div> </div> </div> </div> </div> </div> <div id="ft" class="wp cl"> <div id="flk" class="y"> <p> <a href="https://bbs.sciencenet.cn/archiver/" >Archiver</a><span class="pipe">|</span><a href="http://wap.sciencenet.cn" >手机版</a><span class="pipe">|</span><strong><a href="https://www.sciencenet.cn" target="_blank">科学网</a></strong> ( <a href="https://beian.miit.gov.cn/" target="_blank">京ICP备07017567号-12</a> )<span style="display:none"> <script type="text/javascript"> var _bdhmProtocol = (("https:" == document.location.protocol) ? " https://" : " http://"); document.write(unescape("%3Cscript src='" + _bdhmProtocol + "hm.baidu.com/h.js%3Fcbf293a46e1e62385b889174378635f1' type='text/javascript'%3E%3C/script%3E")); </script> </span></p> <p class="xs0"> GMT+8, 2024-11-27 15:11<span id="debuginfo"> </span> </p> </div> <div id="frt"> <p>Powered by <strong><a href="http://www.sciencenet.cn" target="_blank">ScienceNet.cn</a></strong><em></em></p> <p class="xs0">Copyright © 2007-<script type="text/javascript">var Date22 = new Date();var year22 = Date22.getFullYear();document.write(year22);</script> <a href="http://www.stimes.cas.cn" target="_blank">中国科学报社</a></p> </div></div>  <ul id="usersetup_menu" class="p_pop" style="display:none;"> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=avatar">修改头像</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=profile">个人资料</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=profile&op=verify">认证</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=credit">积分</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=usergroup">用户组</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=privacy">隐私筛选</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=spacecp&ac=profile&op=password">密码安全</a></li> </ul>                <ul id="myprompt_menu" class="p_pop" style="position: absolute; z-index: 301; left: 0px; top: 278px; display: none;">    <li><a href="https://blog.sciencenet.cn/home.php?mod=space&uid=0&do=blog&view=com">我收到的评论/回复 </a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&do=blog&view=com&order=mycom">我发表的评论/回复 </a></li>       <li><a href="https://blog.sciencenet.cn/home.php?mod=space&do=notice&view=mypost&type=at">查看@我</a></li> <li><a href="https://blog.sciencenet.cn/home.php?mod=space&do=notice&view=interactive">查看其他</a></li>  </ul> <div id="g_upmine_menu" class="g_up" style="display:none;"> <div class="crly"> 积分 0, 距离下一级还需积分 </div> <div class="mncr"></div> </div>  <script src="home.php?mod=misc&ac=sendmail&rand=1732691476" type="text/javascript"></script> <div id="scrolltop"> <span hidefocus="true"><a title="返回顶部" onclick="window.scrollTo('0','0')" class="scrolltopa" ><b>返回顶部</b></a></span> </div> <script type="text/javascript">_attachEvent(window, 'scroll', function () { showTopLink(); });checkBlind();</script> <div id="discuz_tips" style="display:none;"></div> <script type="text/javascript"> var tipsinfo = '|X3.3|0.6||0||0|7|1732691476||2'; </script> </body> </html>