{"id":1935,"date":"2018-03-13T11:46:05","date_gmt":"2018-03-13T03:46:05","guid":{"rendered":"http:\/\/dh.boyo.org.tw\/rctlee\/?p=1935"},"modified":"2018-03-13T11:46:05","modified_gmt":"2018-03-13T03:46:05","slug":"%e6%95%99%e8%82%b2%e5%b0%88%e6%ac%84-100-%e6%87%b7%e5%bf%b5-john-mccarthy-%e6%95%99%e6%8e%88","status":"publish","type":"post","link":"https:\/\/doc.boyo.org.tw\/rctlee\/?p=1935","title":{"rendered":"\u6559\u80b2\u5c08\u6b04 (100) \u61f7\u5ff5 John McCarthy \u6559\u6388"},"content":{"rendered":"<p>John McCarthy\u6559\u6388\u88ab\u8a8d\u70ba\u662f\u4eba\u5de5\u667a\u6167\u7684\u958b\u5275\u8005\u4e4b\u4e00\uff0c\u4ed6\u4e5f\u662fLISP\u7a0b\u5f0f\u8a9e\u8a00\u7684\u767c\u660e\u4eba\uff0c\u5f97\u904eTuring Award\u4ee5\u53ca\u5176\u4ed6\u5f88\u591a\u7684\u734e\u3002\u6211\u8a8d\u8b58\u4ed6\u7684\u6642\u5019\uff0c\u4ed6\u662f\u53f2\u4e39\u4f5b\u5927\u5b78\u7684\u6559\u6388\uff0c\u6211\u662f\u4e00\u500b\u5c0f\u7814\u7a76\u751f\uff0c\u53ef\u662f\u6211\u7576\u6642\u7684\u7814\u7a76\u537b\u662f\u4eba\u5de5\u667a\u6167\uff0c\u6240\u4ee5\u5e38\u5e38\u548c\u4ed6\u898b\u9762\uff0c\u4ed6\u662f\u4e00\u4f4d\u76f8\u7576\u548c\u85f9\u53ef\u89aa\u7684\u4eba\u3002<!--more--><\/p>\n<p>\u6211\u56de\u5230\u6e05\u83ef\u4f86\u6559\u66f8\uff0c\u4ed6\u9084\u8a18\u5f97\u6211\uff0c\u6709\u4e00\u5e74\u4ed6\u5230\u53f0\u7063\u4f86\uff0c\u4f4f\u5728\u6211\u5011\u6e05\u83ef\u5927\u5b78\uff0c\u4e5f\u548c\u6211\u5011\u5e2b\u751f\u804a\u5929\u3002\u6709\u4e00\u4f4d\u6559\u6388\u554f\u4ed6\uff1a\u300c\u4eba\u5de5\u667a\u6167\u5230\u5e95\u524d\u9014\u5982\u4f55\uff1f\u300d\u9019\u4f4d\u5927\u5e2b\u7684\u56de\u7b54\u6211\u4e00\u76f4\u5230\u73fe\u5728\u90fd\u8a18\u5f97\u975e\u5e38\u6e05\u695a\uff0c\u4ed6\u8aaa\uff1a\u300c\u4eba\u5de5\u667a\u6167\u50cf\u6c92\u6709\u611b\u56e0\u65af\u5766\u7684Manhattan Project\u3002\u300d\u6240\u8b02Manhattan Project\u5c31\u662f\u7f8e\u570b\u505a\u539f\u5b50\u5f48\u7684\u8a08\u756b\uff0c\u53ef\u662f\u8ab0\u90fd\u77e5\u9053\u9020\u539f\u5b50\u5f48\u662f\u6709\u7406\u8ad6\u57fa\u790e\u7684\uff0c\u7576\u6642\u611b\u56e0\u65af\u5766\u5c07\u9019\u500b\u7406\u8ad6\u544a\u8a34\u7f8e\u570b\u653f\u5e9c\uff0cMcCarthy\u6559\u6388\u986f\u7136\u8a8d\u70ba\u4eba\u5de5\u667a\u6167\u4e5f\u8981\u6709\u4e00\u500b\u7406\u8ad6\u57fa\u790e\uff0c\u9019\u7576\u7136\u662f\u5f8840\u5e74\u524d\u7684\u767c\u8a00\uff0c\u4e5f\u8a31\u73fe\u5728\u9019\u500b\u7406\u8ad6\u57fa\u790e\u51fa\u4f86\u4e86\u3002<\/p>\n<p>\u4e8b\u5be6\u4e0a\uff0c\u4efb\u4f55\u4e00\u500b\u5de5\u696d\u4e0a\u7684\u5275\u65b0\u90fd\u6709\u7406\u8ad6\u57fa\u790e\u7684\uff0cMcCarthy\u6559\u6388\u96d6\u7136\u662f\u4eba\u5de5\u667a\u6167\u7684\u5c08\u5bb6\uff0c\u53ef\u662f\u4ed6\u662f\u4e00\u4f4d\u5f88\u8aa0\u5be6\u7684\u4eba\uff0c\u4ed6\u7d55\u5c0d\u4e0d\u6703\u5439\u8aaa\u81ea\u5df1\u7684\u5b78\u554f\u6709\u591a\u91cd\u8981\u3002<\/p>\n<p>McCarthy\u6559\u6388\u96e2\u958b\u6e05\u83ef\u4ee5\u5f8c\u5c31\u5230\u6210\u5927\u53bb\uff0c\u6211\u554f\u4ed6\u5230\u6210\u5927\u53bb\u505a\u4ec0\u9ebc\uff0c\u4ed6\u8aaa\u4ed6\u8981\u53bb\u627e\u4e00\u4f4d\u7814\u7a76\u751f\uff0c\u7576\u6642McCarthy\u6559\u6388\u767c\u8868\u4e86\u4e00\u7bc7\u6709\u95dcmodal logic\u7684\u6587\u7ae0\uff0c\u9019\u4f4d\u7814\u7a76\u751f\u5beb\u4fe1\u7d66\u4ed6\uff0c\u554f\u4ed6\u4e00\u500b\u554f\u984c\uff0c\u4ed6\u56de\u7b54\u4e86\u4f3c\u4e4e\u5f88\u61ca\u60f1\uff0c\u56e0\u70ba\u4ed6\u7b54\u932f\u4e86\uff0c\u53ef\u662f\u4ed6\u53c8\u767c\u73fe\u4ed6\u4e00\u5b9a\u8981\u89aa\u53e3\u5411\u9019\u4f4d\u5b78\u751f\u89e3\u91cb\uff0c\u56e0\u70ba\u9019\u500b\u5b78\u554f\u662f\u5f88\u4e0d\u5bb9\u6613\u61c2\u7684\u3002\u9019\u6b21\u4e0d\u9060\u5343\u91cc\u800c\u4f86\uff0c\u5b8c\u5168\u5c31\u662f\u70ba\u4e86\u9019\u4ef6\u4e8b\u3002<\/p>\n<p>\u5927\u5e2b\u7684\u98a8\u7bc4\u4f7f\u6211\u7262\u8a18\u5728\u5fc3\uff0c\u6211\u5011\u61c9\u8a72\u6c38\u9060\u505a\u4e00\u500b\u597d\u7684\u8001\u5e2b\uff0c\u6709\u6c92\u6709\u5b78\u554f\u662f\u4e00\u56de\u4e8b\uff0c\u5c07\u5b78\u751f\u770b\u5f97\u5f88\u91cd\u624d\u662f\u6700\u91cd\u8981\u7684\u4e8b\u3002\u7f8e\u570b\u7684\u5927\u724c\u6559\u6388\u7d66\u4eba\u5bb6\u7684\u5370\u8c61\u662f\u6c38\u9060\u5728\u98db\u4f86\u98db\u53bb\uff0c\u50cf\u9019\u4f4d\u5927\u5e2b\u7684\u505a\u6cd5\u662f\u76f8\u7576\u5c11\u6709\u7684\u3002\u4ed6\u7576\u521d\u548c\u6211\u4f86\u5f80\uff0c\u6211\u56de\u60f3\u8d77\u4f86\u5c31\u5f88\u4e0d\u5bb9\u6613\uff0c\u56e0\u70ba\u7576\u6642\u6211\u662f\u7d55\u5c0d\u7684\u5c0f\u5496\uff0c\u5f8c\u4f86\u6211\u767c\u73fe\u4ed6\u70ba\u4e86\u66ff\u4e00\u4f4d\u7814\u7a76\u751f\u89e3\u60d1\u89aa\u81ea\u53bb\u627e\u4ed6\uff0c\u6211\u624d\u77e5\u9053\u4ed6\u771f\u662f\u4e00\u4f4d\u597d\u7684\u8001\u5e2b\u3002<\/p>\n<p>\u7576\u7136\u6700\u4e0d\u5bb9\u6613\u7684\u662f\u4ed6\u5728\u5b78\u8853\u4e0a\u7d55\u5c0d\u662f\u6709\u6210\u5c31\u7684\uff0c\u4f46\u6c92\u6709\u5439\u5653\u81ea\u5df1\u6210\u5c31\u7684\u91cd\u8981\u6027\uff0c\u9019\u4e5f\u662f\u76f8\u7576\u4e0d\u5bb9\u6613\u7684\u4e8b\uff0c\u6211\u5011\u61c9\u8a72\u5411\u4ed6\u5b78\u7fd2\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>John McCarthy\u6559\u6388\u88ab\u8a8d\u70ba\u662f\u4eba\u5de5\u667a\u6167\u7684\u958b\u5275\u8005\u4e4b\u4e00\uff0c\u4ed6\u4e5f\u662fLISP\u7a0b\u5f0f\u8a9e\u8a00\u7684\u767c\u660e\u4eba\uff0c\u5f97\u904eTuring  &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/doc.boyo.org.tw\/rctlee\/?p=1935\" class=\"more-link\">\u95b1\u8b80\u5168\u6587<span class=\"screen-reader-text\">\u3008\u6559\u80b2\u5c08\u6b04 (100) \u61f7\u5ff5 John McCarthy \u6559\u6388\u3009<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"spay_email":""},"categories":[60],"tags":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/posts\/1935"}],"collection":[{"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1935"}],"version-history":[{"count":1,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/posts\/1935\/revisions"}],"predecessor-version":[{"id":1936,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=\/wp\/v2\/posts\/1935\/revisions\/1936"}],"wp:attachment":[{"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1935"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1935"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/doc.boyo.org.tw\/rctlee\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1935"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}