閃文集 Ⅲ
101
美國數學家卻曲
(
Alonzo Church
；
1903 –1995
；
參見圖十三
(
左
))
精研數學邏輯，對計算機的理論有重大貢獻。他所發明的
lambda
calculus
，
Church's thesis
以及
Church
－
Rosser theorem
，
我班上的同學
都能琅琅上口，只有我毫無概念。加緊學習後，總算稍有認知
:
原來
卻曲
(
Church)
不是「教堂」，而是
lambda calculus
的發明者，一直影
響著計算機語言的設計。
經由卻曲的研究，我也認識了被稱為美國最偉大的邏輯學家
(
America's greatest logician)
皮爾
士
(
Charles Sanders Peirce
；
1839
–1914
；
參見圖十三
(
右
))
。
他
創建了符號學分支的邏輯學，
並發現邏輯運算可以用電子開
關電路完成，因此預見了電子
計算機的可能性。皮爾士的文
章艱澀難讀。他發明「實用主
義」
(
Pragmaticism)
一詞時也很坦白的說：
「
這個詞長得夠醜，不會被
綁架。」
結果大夥受不了他的艱澀文字，硬是將「
Pragmaticism
」
砍成
Pragmatism
。
圖林
(
Alan Mathison Turing
；
1912 – 1954) [
附註二
]
是卻曲的
學生。他發明了圖林機
(
Turing Machine)
，
能以抽象的數學表現出演算
法。第一個能運作的圖林機
(
Functional Program-controlled Turing-Complete
Computer)
是德國土木工程師蘇斯
(
Konrad Zuse
；
1910
－
1995
；
參見圖
十四
)
於
1941
年完成，取名為
Z3
。
回憶
1985
年的某次課堂上，
Professor Young
很興奮的說他想到一
個新定理，當場證明給我們看，他反覆解釋了兩個半鐘頭，我才勉
圖十三：
(
左
)
卻曲
(
Alonzo Church
；
1903 –1995);
(
右
)
皮爾士
(
Charles Sanders Peirce
；
1839 –1914)