原書《logicomix》，中文名《羅素的故事》或《瘋狂的羅素》。講述的是邏輯學家、哲學家羅素追尋真理的故事。以羅素的回憶為主線，穿插了許多史實和一些虛構的情節，比如羅素與一些人物的會面和對話。主要內容上與《邏輯的引擎》類似，畢竟如羅素悖論、哥德爾不完備性等大事件是一定會提及的。不同的是輕鬆有趣的漫畫風格，而且是製作漫畫的畫師和數學家、演講中的羅素、以及羅素回憶的故事三重場景不斷轉換，像盜夢空間一般。此外，還有一些之前印象不深的人物在本書裡有了很多的筆墨，比如與羅素共同奮戰的whitehead，比如他「瘋狂」的學生後來成為了傳奇的維根斯坦。所以，儘管主要故事梗概有些「老套」，但漫畫的風格加上一些之前不了解的知識，讀起來還是很興奮的。
書中還插入了一段羅素去拜訪大師cantor的故事，不知是確有其事還是戲說。cantor已是數學大師，當時羅素對cantor敬仰已久，所以去見面的路上既興奮又十分緊張。然而，當他見到已經精神不太正常的cantor時，之前的美好想象被徹底擊碎。他的妻子還憂心忡忡地說，希望羅素能保證他以後一定不要像cantor這樣下場。
羅素與好友whitehead一同奮戰，每天都在一起激烈地討論卻還嫌時間不夠，最後羅素乾脆搬到了whitehead家。然而事情並不順利，或者說兩人的野心太大了。隨著逐漸深入問題的本質，兩人發現有填不完的坑。為了嚴格證明，羅素一遍一遍推翻之前的理論根基。最後兩人都像要瘋了一樣，懷疑一切。
書中渲染godel的出場非常有趣。羅素說他和whitehead合著的充滿數學符號的兩千多頁大部頭，在出版後的三十年裡，他只確信有乙個從頭到尾地讀完了。他就是哥德爾，在2023年時還只是乙個小孩子。這描述的手法讓我不禁想起，葉問片尾，幼年李小龍的出場。而之後發生的事可能大家也都聽說過一些，哥德爾的確配得上這傳奇的開場。
在那場著名的演講中，哥德爾在講演他的證明的末尾時，馮諾依曼說了一句：it was over，一切都結束了。這個場景彷彿2023年nba扣籃大賽時，飛人卡特完成了驚人的第一扣。其大風車加轉體360度，讓觀眾席中奧尼爾為首的觀眾驚嘆不已。哥德爾講演時的觀眾除了同樣的震驚外，還有興奮與喜悅。但此刻馮諾依曼的心情卻是灰暗的，因為他知道這意味著什麼。希爾伯特得知這個訊息後，可能也心如死灰。當時鼓舞人心的講演，激勵大家所有數學知識都一定是可知的，we can know，we shall know。而今，一切都成為泡影。
書中還有乙個小插曲，就是希爾伯特的兒子在眾人面前崩潰瘋了。在被精神病院的醫護人員拉走時，希爾伯特卻異常冷漠地說，他不是我兒子。「邏輯是好的，可為什麼人們會瘋了」。是啊，乙個人能有邏輯地思考、說話、做事是多麼美好的事情，可為什麼它又會讓想深入理解它的人走火入魔。
這是羅素的學生，傳奇人物維根斯坦的名言。他師從羅素，然而被無法得知真相而痛苦折磨，最終決定走上戰場。雖然家世顯赫，卻為了弄清世界的真相而選擇了一條最艱難的路。在險些喪命的瞬間，他看到了他想看到的東西。他寫成的兩本分析哲學著作，號稱能解釋一切哲學問題。將邏輯推倒融入哲學，也讓本來有些形而上的學問，彷彿科學了起來。
看完本書，最感興趣的莫過於維根斯坦的傳奇故事，希望有機會可以讀一讀他的傳記《天才之責任》。除此之外，當然就是哥德爾，《哥德爾的證明》是不可不讀的好書。
富時羅素 小公尺有資格重新納入富時羅素指數
程式設計客棧 www.cppcns.com 3月16日訊息 據彭博報道，富時羅素在乙份宣告中稱，在美國法院叫停國防部限制美國投資者購買及持有小公尺的 之後，這家中國智慧型手機製造商將有資格重新納入富時羅素指數。據了解，富時羅素是倫敦myduriwfzv 交易所集團myduriwfzv 子公司富時集團...
我為何而生 英 羅素
對愛情的渴望，對知識的追求，對人類苦難不可遏制的同情，是支配我一生的單純而強烈的三種感情。這些感情如陣陣颶風，吹拂在我動盪不定的生涯中，有時甚至吹過深沉痛苦的海洋，直抵絕望的邊緣。我所以追求愛情有三方面的原因。首先，愛情有時給我帶來狂喜，這種狂喜竟如此有力，以致使我常常會為了體驗幾小時的愛的喜悅，而...
羅素悖論和正則公理
假如我們在zf集合論裡加入這麼一條公理 概括公理 設對於每乙個物件 x 我們都有乙個依賴於 x 的性質 p x 則存在乙個集合 使得 y in leftrightarrow p y mbox 這看上去是一條很好的公理,在高中教科書中事實上也是這麼表述乙個集合的.如果這條公理加入不會導致矛盾,那麼集合...