第三章「論理部?シンボルの裏技」

BABYLON STAGE 27 証明のラビリンス

奇異的悖論突然間散發出危險的氣息，充滿著trick的暗之證明，對一致的理論垂涎欲滴的邏輯學家……

羅素：嗚哇累死我了（指數學原理的寫作）

哥德爾：好累啊（小聲）

羅素：這幾年真是累啊

哥德爾：是啊，這幾年真是累壞了啊

希爾伯特：是啊

羅素：搞那麼累幹啥呀，真是的。元數學什麼的我都不想幹了啦

哥德爾：是啊我也差不多了

羅素：你棄坑的好快啊（哥德爾於1940s將興趣轉向哲學和物理）

哥德爾：啊……我邏輯都玩夠了嘛

羅素：哎哎，稍微等我一下啦

希爾伯特：哦呵呵

羅素：快點開個會討論一下吧

哥德爾：快點進去吧

希爾伯特：是啊

羅素：啊啊，給我等一下啊

哥德爾：喂，希爾伯特，快點啦

羅素：快點啦

哥德爾：foo↑

哥德爾：啊，好無聊啊。好想快點研究連續統啊

羅素：連續統，連續統！

哥德爾：喂，證明好了嗎

羅素：放心哦，柯恩說超獨立的（時間線嚴重錯亂）

羅素：我說哥德爾你覺得直覺主義邏輯弱不弱啊

哥德爾：有點弱啊

羅素：說得是呢。我聽說啊，好像有個很棒的邏輯系統呢（Intermediate logic）

哥德爾：啊？是嗎

羅素：不去研究嗎？去吧？

哥德爾：有點想去呢

羅素：那今天晚上就給達米特寫信問問吧？

哥德爾：啊，可以啊

哥德爾：啊，對了。喂，希爾伯特

希爾伯特：哎？怎麼了

哥德爾：你丫在我證明不完備性定理的時候，說我壞話了吧？

希爾伯特：不，沒有說啊

哥德爾：你這騙子你絕對說了

希爾伯特：我有什麼說壞話的必要嗎（心虛）

羅素：我說那個希爾伯特啊，你的綱領失敗之後啊，好像叫你認輸你也不認啊

哥德爾：就是啊（便乘）

希爾伯特：哎，那個……

哥德爾：你這麼想說我就讓你說個夠啦

電腦跑不動PS，YJSP羅素，MUR哥德爾和KMR希爾伯特的圖片都沒有了。

推薦閱讀：