{"id":471,"date":"2006-11-09T23:58:27","date_gmt":"2006-11-10T04:58:27","guid":{"rendered":"http:\/\/vacanteyes.com\/blog\/2006_11_471"},"modified":"2006-11-10T01:44:22","modified_gmt":"2006-11-10T06:44:22","slug":"a-madman-dreams","status":"publish","type":"post","link":"https:\/\/vacanteyes.com\/blog\/2006\/11\/a-madman-dreams\/","title":{"rendered":"A Madman Dreams"},"content":{"rendered":"

\u4e0b\u5348\u53bb\u542c\u4e86\u7269\u7406\u7cfb\u7684\u4e00\u4e2a public lecture\uff0c\u6f14\u8bb2\u4eba\u662f Janna Levin<\/a>\u3002\u5979\u662f\u641e\u5b87\u5b99\u5b66\u7684\u7269\u7406\u5b66\u5bb6\uff0c\u4f46\u540c\u65f6\u4e5f\u662f\u4e00\u4e2a\u79d1\u5b66\u5199\u4f5c\u5bb6\uff0c\u8fd9\u6b21\u5979\u7b97\u662f\u5ba3\u4f20\u5979\u7684\u65b0\u4e66\u300aA Madman Dreams of Turing Machines\u300b\u3002\u6211\u672c\u6765\u662f\u5bf9\u8fd9\u79cd\u8bb2\u5ea7\u5174\u81f4\u4e0d\u5927\u7684\uff0c\u4f46\u4e2d\u5348\u779f\u4e86\u4e00\u773c\u4ecb\u7ecd\uff0c\u53d1\u73b0\u4f3c\u4e4e\u4f1a\u5f88\u6709\u8da3\u3002\u5979\u7684\u8fd9\u672c\u534a\u865a\u6784\u534a\u5199\u5b9e\u7684\u4e66\u8bb2\u8ff0\u4e86\u4e24\u4e2a\u4f20\u5947\u4eba\u7269 Kurt G\u00f6del \u548c Alan Turing \u4e00\u751f\u4e2d\u7684\u6323\u624e\u3002<\/p>\n

G\u00f6del\u6700\u4e3b\u8981\u7684\u8d21\u732e\u4e4b\u4e00\u662f\u521b\u7acb\u4e86 G\u00f6del numbering\uff0c\u8bc1\u660e\u4e86\u4e00\u4e2a\u53ef\u8ba1\u7b97\u7684\u6570\u5b66\u516c\u7406\u7cfb\u7edf\u662f\u4e0d\u80fd\u65e2\u81ea\u6d3d\u53c8\u5b8c\u5907\u7684 (incompleteness theorem)\uff0cunprovable truth \u662f\u5b58\u5728\u7684\uff0c\u6bd4\u5982\u4ed6\u8bc1\u660e\u4e86\u4e00\u4e2a\u516c\u7406\u7684\u81ea\u6d3d\u6027\u662f\u65e0\u6cd5\u5728\u7cfb\u7edf\u5185\u88ab\u8bc1\u660e\u7684\uff0c\u4f46\u4ed6\u540c\u65f6\u76f8\u4fe1\u516c\u7406\u662f\u81ea\u6d3d\u7684\uff0c\u4ed6\u8ba4\u4e3a\u8fd9\u5c31\u662f\u4e00\u4e2a\u4e0d\u53ef\u8bc1\u660e\u7684\u771f\u76f8\u3002\u800cTuring\u628aG\u00f6del\u7684\u7b97\u672f\u8bed\u8a00\u53d1\u626c\u5149\u5927\uff0c\u5efa\u7acb\u4e86\u6211\u4eec\u73b0\u5728\u6240\u8bf4\u7684\u56fe\u7075\u673a\uff0c\u800c\u4e14\u8bc1\u660e\u4e86Entscheidungsproblem[1<\/a>]<\/sup>\u662f\u6ca1\u6709\u89e3\u7b54\u7684\uff0c\u4ed6\u5bf9\u8ba1\u7b97\u79d1\u5b66\u4ee5\u53ca\u4eba\u5de5\u667a\u80fd\u7684\u5f71\u54cd\u662f\u975e\u5e38\u6df1\u8fdc\u7684\uff0c\u5e38\u88ab\u79f0\u4e3a\u73b0\u4ee3\u8ba1\u7b97\u673a\u79d1\u5b66\u4e4b\u7236\uff0c\u800c\u4e14\u4ed6\u5bf9\u5bc6\u7801\u5b66\u5f71\u54cd\u4e5f\u540c\u6837\u5f88\u5927\uff0c\u5728\u4e8c\u6218\u65f6\u8bbe\u8ba1\u5efa\u9020\u4e86bombe\uff0c\u6210\u529f\u7834\u89e3\u4e86\u5fb7\u56fd\u7684Enigma\u4ee3\u7801\uff0c\u5982\u679c\u6ca1\u6709\u4ed6\uff0c\u6218\u4e89\u6050\u6015\u8fd8\u8981\u591a\u6301\u7eed\u597d\u51e0\u5e74\u3002\u4ed6\u4eec\u4e24\u4e2a\u4eba\u7684\u6210\u679c\u5171\u540c\u8bc1\u660e\u4e86\u6211\u4eec\u7684\u6240\u77e5\u662f\u6709\u9650\u7684\uff0c\u4f46\u8fd9\u4e24\u4f4d\u5929\u624d\u903b\u8f91\u5b66\u5bb6\u5bf9\u4eba\u601d\u60f3\u7684\u770b\u6cd5\u5374\u662f\u5927\u76f8\u5f84\u5ead\u7684\uff0cG\u00f6del\u76f8\u4fe1\u4eba\u7684\u7075\u9b42\u662f\u53ef\u4ee5\u7559\u8f6c\u7684\uff08transmigration of the soul\uff09\uff0c\u4f46Turing\u76f8\u4fe1\u4eba\u4e0d\u8fc7\u662f\u65e0\u7075\u9b42\u7684\u751f\u7269\u673a\u5668\u3002\u6211\u4e2a\u4eba\u6765\u8bf4\uff0c\u5176\u5b9e\u5c31\u662f\u4ecb\u7ecd\u4e2d we were soulless biological machines \u8fd9\u53e5\u8bdd\u628a\u6211\u62c9\u53bb\u542c\u8fd9\u8bb2\u5ea7\u7684\u3002<\/p>\n

\u53ef\u60dc\u8fd9\u6837\u4e24\u4e2a\u5929\u624d\u4eba\u7269\u7684\u4e00\u751f\u5374\u90fd\u4e00\u6837\u7684\u60b2\u5267\u3002G\u00f6del\u60a3\u6709\u4e25\u91cd\u7684\u5984\u60f3\u75c7\uff0c\u5728\u4ed6\u7684\u592b\u4eba\u8eab\u4f53\u865a\u5f31\u5230\u4e0d\u80fd\u4eb2\u81ea\u4e3a\u4ed6\u505a\u996d\u540e\uff0c\u4ed6\u62d2\u7edd\u8fdb\u98df\u56e0\u4e3a\u4ed6\u8ba4\u4e3a\u6709\u4eba\u8981\u5728\u98df\u7269\u91cc\u6295\u6bd2\u5bb3\u4ed6\uff0c\u6700\u7ec8\u786c\u751f\u751f\u7684\u628a\u81ea\u5df1\u997f\u6b7b\uff0c\u6b7b\u7684\u65f6\u5019\u4f53\u91cd\u53ea\u5269\u4e0b\u4e0d\u523030\u516c\u65a4\u3002\u800cTuring\uff0c\u629b\u5f00\u4ed6\u5bf9\u8ba1\u7b97\u79d1\u5b66\u4eba\u5de5\u667a\u80fd\u7684\u8d21\u732e\u4e0d\u8bf4\uff0c\u5149\u4ed6\u5728\u4e8c\u6218\u4e2d\u7684\u89e3\u7801\u8d21\u732e\u5c31\u8db3\u4ee5\u8ba9\u4ed6\u6210\u4e3a\u82f1\u96c4\uff0c\u4f46\u4ed6\u5374\u56e0”acts of gross indecency”\u7684\u7f6a\u540d\u88ab\u6355\u5165\u72f1\uff0c\u5e76\u88ab\u5f3a\u8feb\u63a5\u6536\u6fc0\u7d20\u6cbb\u7597\uff0c\u539f\u56e0\u5c45\u7136\u662f\u4ed6\u4e0d\u559c\u6492\u8c0e\uff0c\u5766\u8bda\u81ea\u5df1\u662f\u540c\u6027\u604b\uff0c\u800c\u5728\u90a3\u4e2a\u65f6\u4ee3\uff0c\u8fd9\u4e0d\u4ec5\u4ec5\u88ab\u5f53\u4f5c\u662f\u7cbe\u795e\u75be\u75c5\u800c\u4e14\u8fd8\u662f\u72af\u7f6a\u3002\u6700\u7ec8\u7684\u7ed3\u679c\u662f\uff0cTuring\u5728\u751f\u547d\u4e2d\u7684\u7b2c42\u5e74\uff0c\u5403\u4e0b\u4e00\u4e2a\u6cbe\u6709\u6c30\u5316\u7269\u7684\u82f9\u679c\uff0c\u6b7b\u6389\u4e86\u3002\u8fd9\u4e24\u4e2a\u4eba\uff0c\u4e00\u4e2a\u5bb3\u6015\u522b\u4eba\u6bd2\u5bb3\u81ea\u5df1\u800c\u997f\u6b7b\uff0c\u800c\u53e6\u4e00\u4e2a\u5374\u81ea\u5df1\u6bd2\u6b7b\u81ea\u5df1\u3002\u5982\u679c\u8bf4G\u00f6del\u7684\u60b2\u5267\u66f4\u591a\u7684\u662f\u56e0\u4e3a\u4ed6\u81ea\u5df1\u94bb\u5165\u4e86\u6bcf\u4e00\u6b65\u90fd\u4e25\u5b88\u903b\u8f91\u5374\u5bfc\u5411\u65e0\u7a3d\u7ed3\u679c\u7684\u602a\u5708[2<\/a>]<\/sup>\uff0c\u90a3\u4e48Turing\u7684\u60b2\u5267\u66f4\u591a\u7684\u662f\u56e0\u4e3a\u4e00\u4e2a\u53d8\u5f62\u7684\u793e\u4f1a\uff0c\u4f60\u5f53\u7136\u53ef\u4ee5argue\u662f\u4ed6\u81ea\u5df1\u9009\u62e9\u4e86\u4e0d\u7b26\u5408\u6807\u51c6\u7684\u751f\u6d3b\u65b9\u5f0f\uff0c\u4ed6\u4e0d\u8bc6\u65f6\u52a1\uff0c\u5bf9\u6b64\u6211\u65e0\u6cd5\u8fa9\u9a73\uff0c\u53ea\u662f\u8fd9\u4e00\u5207\u8ba9\u4eba\u5f88\u60b2\u4f24\u3002<\/p>\n

\u6211\u5bf9\u903b\u8f91\u5b66\u548c\u54f2\u5b66\u9020\u8be3\u4e0d\u6df1\uff0c\u5f88\u591a\u6982\u5ff5\u6211\u542c\u5f97\u8fd8\u662f\u7cca\u91cc\u7cca\u6d82\u7684\uff0cJanna\u4e5f\u6ca1\u51c6\u5907\u8bb2\u6e05\u695a\uff0c\u5979\u8bf4\u4ed6\u4eec\u7684\u4e00\u4e9b\u8bc1\u660e\u5341\u5206\u7cbe\u5de7\uff0c\u5e38\u5e38\u4f1a\u4f60\u89c9\u5f97\u4f60\u61c2\u4e86\u4f46\u65f6\u4e0d\u65f6\u5c31\u53c8\u7cca\u6d82\u4e00\u4e0b\uff0c\u5979\u6700\u5e38\u7528\u7684\u4e00\u4e2a\u5f62\u5bb9\u8bcd\u5c31\u662fingenious\u3002\u4f46\u4e0d\u7ba1\u600e\u6837\uff0c\u8fd9\u4e2a\u8bb2\u5ea7\u8fd8\u662f\u633a\u6709\u8da3\u7684\uff0c\u52fe\u8d77\u4eba\u7684\u4e00\u4e9b\u601d\u8003\uff0c\u6211\u5f88\u6709\u51b2\u52a8\u53bb\u770b\u770b G\u00f6del numbering \u5230\u5e95\u662f\u600e\u4e48\u4e00\u56de\u4e8b\uff0c\u53cd\u6b63\u5979\u7b80\u5355\u4ecb\u7ecd\u7684\u65f6\u5019\u6211\u662f\u88ab\u8bb2\u6655\u4e86\u3002\u800c\u4e14\u505a\u79d1\u5b66\u7684\uff0c\u603b\u662f\u9700\u8981\u5076\u5c14\u505c\u4e0b\u6765\u53bb\u601d\u8003\u4e00\u4e9b\u6700\u57fa\u7840\u7684\u95ee\u9898\uff0c\u5373\u4f7f\u4e00\u4e9b\u95ee\u9898\u6050\u6015\u6ce8\u5b9a\u7ea0\u7f20\u65e0\u89e3\u7b54\u3002\u8bb2\u5ea7\u5b8c\u540e\u5979\u9009\u4e86\u4e66\u4e2d\u7684\u4e00\u6bb5\u6765\u8bfb\uff0c\u542c\u4eba\u8bfb\u82f1\u6587\u4e66\uff0c\u771f\u96be\u61c2-_-\u3002\u6700\u540e\uff0c\u6211\u6765\u5217\u4e00\u53e5G\u00f6del\u5728\u7ef4\u4e5f\u7eb3\u6240\u5728\u7684\u5c0f\u7ec4\u7ec7 Vienna Circle \u6240\u63a8\u5d07\u7684\u54f2\u5b66\u5bb6 Ludwig Wittgenstein \u7684\u540d\u8a00\uff1a<\/p>\n

\n

“Wovon man nicht sprechen kann, dar\u00fcber mu\u00df man schweigen”
\n“What we cannot speak of, we must pass over in silence.”<\/p><\/blockquote>\n<\/div>\n

  1. The Entscheidungsproblem (German for ‘decision problem’) is the challenge in symbolic logic to find a general algorithm which decides for given first-order statements whether they are universally valid or not. from wikipedia<\/em> ↩<\/a><\/li>
  2. \u5f53\u7136\u4e5f\u6709\u5176\u4ed6\u7684\u523a\u6fc0\u5f53\u5bfc\u706b\u7d22\uff0cMoritz Schlick \u88ab\u8c0b\u6740\u5bf9\u4ed6\u5f71\u54cd\u5f88\u5927 ↩<\/a><\/li><\/ol>","protected":false},"excerpt":{"rendered":"

    \u4e0b\u5348\u53bb\u542c\u4e86\u7269\u7406\u7cfb\u7684\u4e00\u4e2a public lecture\uff0c\u6f14\u8bb2\u4eba\u662f Janna Levin\u3002\u5979\u662f\u641e\u5b87\u5b99\u5b66\u7684\u7269\u7406\u5b66\u5bb6\uff0c\u4f46\u540c\u65f6\u4e5f\u662f\u4e00\u4e2a\u79d1\u5b66\u5199\u4f5c\u5bb6\uff0c\u8fd9\u6b21\u5979\u7b97\u662f\u5ba3\u4f20\u5979\u7684\u65b0\u4e66\u300aA Madman Dreams of Turing Machines\u300b\u3002\u6211\u672c\u6765\u662f\u5bf9\u8fd9\u79cd\u8bb2\u5ea7\u5174\u81f4\u4e0d\u5927\u7684\uff0c\u4f46\u4e2d\u5348\u779f\u4e86\u4e00\u773c\u4ecb\u7ecd\uff0c\u53d1\u73b0\u4f3c\u4e4e\u4f1a\u5f88\u6709\u8da3\u3002\u5979\u7684\u8fd9\u672c\u534a\u865a\u6784\u534a\u5199\u5b9e\u7684\u4e66\u8bb2\u8ff0\u4e86\u4e24\u4e2a\u4f20\u5947\u4eba\u7269 Kurt G\u00f6del \u548c Alan Turing \u4e00\u751f\u4e2d\u7684\u6323\u624e\u3002<\/p>\n

    G\u00f6del\u6700\u4e3b\u8981\u7684\u8d21\u732e\u4e4b\u4e00\u662f\u521b\u7acb\u4e86 G\u00f6del numbering\uff0c\u8bc1\u660e\u4e86\u4e00\u4e2a\u53ef\u8ba1\u7b97\u7684\u6570\u5b66\u516c\u7406\u7cfb\u7edf\u662f\u4e0d\u80fd\u65e2\u81ea\u6d3d\u53c8\u5b8c\u5907\u7684 (incompleteness theorem)\uff0cunprovable truth …\u7ee7\u7eed\u9605\u8bfb\u5168\u6587 » » » <\/a><\/span><\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[9],"tags":[496,1524,493,498,497,495,494,499],"_links":{"self":[{"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/posts\/471"}],"collection":[{"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/comments?post=471"}],"version-history":[{"count":0,"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/posts\/471\/revisions"}],"wp:attachment":[{"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/media?parent=471"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/categories?post=471"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/vacanteyes.com\/blog\/wp-json\/wp\/v2\/tags?post=471"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}