Alonzo Church（丘奇）傳記#

• 第1章 普林斯頓的養成（1903–1929）
  • 1.1-普林斯頓世家與求學-1903-1924
  • 1.2-師從維布倫與馮紐曼、博士論文-1924-1927
  • 1.3-歐洲訪學與返普林斯頓任教-1927-1929
• 第2章 邏輯的巔峰年代（1936–1956）
  • 2.1-不可解的初等算術問題與Lambda演算-1936
  • 2.2-邏輯系統的構造與型別理論-1940
  • 2.3-符號邏輯學導論教科書與丘奇學派-1944-1956
• 第3章 主編、戰時與學生群像（1936–1949）
  • 3.1-符號邏輯期刊創刊-1936
  • 3.2-二戰為海軍研究彈道與密碼-1941-1946
  • 3.3-學生群像：圖靈、克萊尼、羅瑟與Curry-1930s-1940s
• 第4章 嚴格的導師與西遷（1950s–1995）
  • 4.1-造反的學生與丘奇的嚴格-1950s-1960s
  • 4.2-轉往UCLA-1967
  • 4.3-晚年、哲學邏輯與去世-1990-1995
• 第5章 遺產：從Lambda到證明助理（1958–2026）
  • 5.1-Lambda演算成為函數式程式語言根基-1958-1990
  • 5.2-遞迴論、停機問題與可計算性理論的工程化-1950-2026
  • 5.3-型別理論、證明助理與現代影響-1980-2026