卡雷爾·S·斯科爾滕
外觀
Carel S. Scholten(1925年-2009年,生於阿姆斯特丹)是一位物理學家,也是電腦領域的先驅。
他曾就讀於阿姆斯特丹的沃西烏斯文理中學(Vossius Gymnasium),並於1945年至1952年間在阿姆斯特丹大學(University of Amsterdam)攻讀物理學。
1947年,他受荷蘭數學中心(Mathematisch Centrum,後來的荷蘭數學與計算機科學中心 Centrum Wiskunde & Informatica)之邀,與朋友兼同學 Bram Loopstra 合作建造一台自動計算機。他們的第一個系統 ARRA I 並不成功,但其後繼機型 ARRA II 則取得了成功,Gerrit Blaauw 也參與了後者的研發。
1954年,他們開始研製 ARMAC。他與 Loopstra 和 Edsger W. Dijkstra 共同打造了這台電腦。Dijkstra 負責軟體部分,並與 Scholten 合作長達三十餘年。 ARMAC 因其使用了電晶體而備受矚目。
1958年,Scholten 進入 Electrologica 公司(後來的飛利浦 Electrologica)工作,並與 Loopstra 一同開發了 Electrologica X1 電腦。截至1964年,共安裝了40台該型號電腦,主要用戶為各大學。他在飛利浦 Electrologica 工作至1979年,隨後轉至飛利浦物理實驗室(Philips Natuurkundig Laboratorium),並在此任職至1985年。
1991年,他獲恩荷芬理工大學(Technische Universiteit Eindhoven)頒授榮譽博士學位。
著作
- Edsger W. Dijkstra 與 Carel S. Scholten(1990)。《謂詞演算與程式語意學》(Predicate Calculus and Program Semantics)。Springer-Verlag 出版。– 內容為對謂詞轉換語意學(Predicate transformer semantics)的抽象、形式化論述。
外部連結
- Eredoctor Carel Scholten overleden - TU Eindhoven(荷蘭文) – 恩荷芬理工大學發布的訃聞。
- Unsung Heroes in Dutch Computing History – Carel S. Scholten and Bram Jan Loopstra – 關於他在恩荷芬理工大學工作的圖文報告。
- Computers ontwerpen, toen (Designing computers, back then)(荷蘭文,刊於 Electrologica 基金會網站) – Carel Scholten 於1979年11月23日發表的初回顧演說。