shares 守護者，創作者為編劇艾倫·摩爾。故事發生於架空歷史中，此時的美國正與蘇聯逼近無可挽回的核子戰爭中，自發性的扮裝執法者已被法律明文禁止，絕大部份的扮裝超級英雄若不是已退隱就是替政府工作。
feels watchmen 翻譯成「守護者」？私以為：「監護者」或許更貼切。不管是冷硬科幻，還是浪漫喜劇，好看的元素永遠都是人性。
feels watchmen 翻譯成「守護者」？私以為：「監護者」或許更貼切。不管是冷硬科幻，還是浪漫喜劇，好看的元素永遠都是人性。
watchmen 越戰場景採用華格納的配樂，應該是抄自**現代啟示錄**
卡波拉的越戰英雄陷落在叢林深處發瘋。 錶人的曼哈頓不但打贏了越戰，還讓尼克森當了第三任的米國總統，權力只低於上帝。 XDD
卡波拉的越戰英雄陷落在叢林深處發瘋。 錶人的曼哈頓不但打贏了越戰，還讓尼克森當了第三任的米國總統，權力只低於上帝。 XDD
asks who is watching watchmen?
was 一邊閱讀 Turing 的停机问题，The Halting Problem，一邊無方向、無目的地思考ing.. 忽然聯想到 watchmen 這部電影隱藏了數學問題！ 
says 很多人都拿 pixar 的超人特攻隊跟 watchmen 比較。雖然都是以超級英雄的末路作為素材，watchmen 卻有更深刻的哲學思考。
shares Godel 最知名的「不完備定理」：設S為一包含算術系統的公理系統，若 S 相容（consistent，即不自我矛盾）， 則 S 不完備（即在 S 中有些敘述為真，卻無法由 S 的公理推導出來）。
shares 哥德尔定理指出，数论的无矛盾公理化的所有陈述中必定包含着不可判定的命题。当时世界正处于发展电子计算机的前沿。～与哥德尔的数学成果相对应，图林在计算机科学理论中指出了，即使可以设想的最有效的计算机也存在着无法弥补的漏洞。后来人们发现这个结论与哥德尔定理是等价的。于是哥德尔理论的影响便超出数学的疆域而扩展到人工智能及思维的研究。 GEB，一条永恒的金带
shares Godel 最知名的「不完備定理」：設S為一包含算術系統的公理系統，若 S 相容（consistent，即不自我矛盾）， 則 S 不完備（即在 S 中有些敘述為真，卻無法由 S 的公理推導出來）。
shares 哥德尔定理指出，数论的无矛盾公理化的所有陈述中必定包含着不可判定的命题。当时世界正处于发展电子计算机的前沿。～与哥德尔的数学成果相对应，图林在计算机科学理论中指出了，即使可以设想的最有效的计算机也存在着无法弥补的漏洞。后来人们发现这个结论与哥德尔定理是等价的。于是哥德尔理论的影响便超出数学的疆域而扩展到人工智能及思维的研究。 GEB，一条永恒的金带
says watchmen 的出身各異，但是都在 playing God 扶弱除惡。超級英雄還是無法完全與人性剝離，甚至濫用自己的能力成為加害者。
asks 黑幫、邪惡勢力、獨裁政權、、watchmen 監護使之不為惡，但誰來 watch watchmen 呢？
shares 罗素悖论用形象的语言来描述，一位理发师声称，他给所有不给自己理发的人理发。那么这个人是否给自己理发呢？如果他给自己理发，就违背了自己的声明。如果他不给自己理发，也没有兑现自己的诺言。用集合论的述语来说，罗索悖论就是定义这样一个集合A，它由所有不属于A的元素a组成。那么A是否属于它本身呢?如果A不属于A，那么按照集合A的定义，它就属于A。如果A属于A，那么按照定义它就是不属于A的元素。
thinks who is watching watchmen? 用羅素的說法，watchmen 給人家剃頭，誰來剃 watchmen 的頭呢？
wonders Alan Moore 在 watchmen 中，不但使用羅素悖論提出質疑，也嘗試提出自己的答案？！
shares 康托尔、哥德尔、图灵——永恒的金色对角线
thinks 跟停機問題一樣，如果上帝是可以被測試的，撒旦會不擇手段地鑽法律漏洞，必定引起善惡是非的悖論！？
shares 康托尔、哥德尔、图灵——永恒的金色对角线
停机问题 不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。
那么，如何来证明这个停机问题呢？反证。假设我们某一天真做出了这么一个极度聪明的万能算法（就叫God_algo吧），你只要给它一段程序（二进制描述），再给它这段程序的输入，它就能告诉你这段程序在这个输入上会不会结束（停机），我们来编写一下我们的这个算法吧：
bool God_algo(char* program, char* input)
{
if (halts on program )
return true;
else
return false;
}
这里我们假设if的判断语句里面是你天才思考的结晶，它能够像上帝一样洞察一切程序的宿命。现在，我们从这个God_algo出发导出一个新的算法：
bool Satan_algo(char* program)
{
if( God_algo(program, program) ){
while(1); // loop forever!
return false; // can never get here!
}
else
return true;
}
正如它的名字所暗示的那样，这个算法便是一切邪恶的根源了。当我们把这个算法运用到它自身身上时，会发生什么呢？
Satan_algo(Satan_algo);
我们来分析一下这行简单的调用：
显然，Satan_algo(Satan_algo)这个调用要么能够运行结束返回（停机），要么不能返回（loop forever）。
如果它能够结束，那么Santa_algo算法里面的那个if判断就会成立（因为God_algo(Santa_algo,Santa_algo)将会返回true），从而程序便进入那个包含一个无穷循环while(1);的if分支，于是这个Satan_algo(Satan_algo)调用便永远不会返回（结束）了。
而如果Satan_algo(Satan_algo)不能结束（停机）呢，则if判断就会失败，从而选择另一个if分支并返回true，即Satan_algo(Satan_algo)又能够返回（停机）。
总之，我们有：
Satan_algo(Satan_algo)能够停机=> 它不能停机
Satan_algo(Satan_algo)不能停机=> 它能够停机
所以它停也不是，不停也不是。左右矛盾。
于是，我们的假设，即 God_algo() 算法的存在性便不成立了。正如拉格朗日所说：“陛下，我们不需要（上帝）这个假设”[4]。
thinks 跟停機問題一樣，如果上帝是可以被測試的，撒旦會不擇手段地鑽法律漏洞，必定引起善惡是非的悖論！？
says 笑匠, Comedian, 是一個典型。曼哈頓，Dr. Manhattan 又是典型的另一端。其他 super heroes 則在中間擺蕩。故事在懸疑中進行，最終真相大白，一切都是 Ozymandias 的陰謀。
says Manhattan 為了避免人類因為核戰毀滅自己，選擇升級當上帝，不甘真相被隱藏的 Rorschach 則被悲劇性終結。
says 很有意思的結局！當上帝是孤獨的，但是人類需要一個無法測度的上帝，才會彼此相親相愛，愛護地球！ XD
says Manhattan 為了避免人類因為核戰毀滅自己，選擇升級當上帝，不甘真相被隱藏的 Rorschach 則被悲劇性終結。
says 很有意思的結局！當上帝是孤獨的，但是人類需要一個無法測度的上帝，才會彼此相親相愛，愛護地球！ XD
This comment has been removed by the author.
ReplyDelete