未睇嘅書︰Politics, Logic, and Love
太多書買咗未睇，揀啲寫下點解買同想睇，鞭策自己盡快睇
📕＝未睇 📙＝借過嚟睇／睇過電子版 📖＝睇咗｜IG: mostly.unread
📕 Politics, Logic, and Love: The Life of Jean van Heijenoort｜Anita Burdman Feferman
Van Heijenoort 最為人認識嘅應該係佢編輯嘅 From Frege to Gödel，收錄咗大量同數學根基以及邏輯有關嘅論文，由 Frege 喺1879年出嘅 Begriffsschrift（據講係首個英譯本）至 Gödel 喺1931年證明不完備定理篇文（van Heijenoort翻譯，之前有另一個譯本但印象中 Gödel 唔多滿意）都有。
而除邏輯史家嘅身份之外，van Heijenoort 喺後生時仲做過托洛斯基私人秘書同翻譯7年（大約由佢20歲開始），當時托洛斯基流亡緊，直到1939年為止（托洛斯基1940年遇刺），之後佢先去讀書。
由於佢呢段過去，呢本書都有另一個版本書名係 From Trotsky to Gödel，不過見到呢本二手平一截，所以都無乜點揀。
Anita Burdman Feferman 仲同佢丈夫 Solomon Feferman 合著過邏輯學家 Alfred Tarski 嘅傳記，叫 Alfred Tarski: Life and Logic。我2014年去英國旅行時喺二手書店 Judd Books（我自己就比較鍾意附近嘅 Skoob Books）買到 Tarski 本傳記，當時就開咗嚟睇，都係好嘢嚟，例如講到佢二戰時逃去美國嘅經歷緊湊，而且 Tarski 本身有好多學生係著名嘅邏輯學家（包括 Solomon Feferman），所以都有講到一啲同代邏輯學家嘅經歷。
嗰陣仲喺歐洲讀緊書，記得有科 modal logic 老師提到 J.C.C. McKinsey，話搵唔到佢張相，我都係喺 Tarski 本傳記搵得返出嚟。
另外 Tarski 有兩個學生 C. C. Chang（張晨鐘）同 Jerome Keisler 係一本 model theory 經典著作嘅作者。Tarski 傳記提到 C. C. Chang 喺七八十年代左右就無做數學，轉去學佛定探索靈性之類。然後幾年前有朋友FB問起 C. C. Chang係咪仲在生，留言見到有人貼個一個族譜網站寫佢2014年過身，發現原來佢老豆係張彭春（《世界人權宣言》主要起草人之一）。
當時我透過個網站嘅資料聯絡到張晨鐘個仔（花咗少少時間起底同撞中佢email），得到回覆確認真係C. C. Chang，問我想知啲乜，但我再追問後就無覆我，所以暫時都無辦法知道C. C. Chang當年點解放棄數學同之後嘅發展了。
（原刊於Instagram）
延伸閱讀
cky
