レイ・ターナー（コンピューター科学者）

レイモンド・ターナー
レイモンド・ターナー
生まれる	1947年4月28日（77歳）; イングランド
国籍	イギリス
職業	論理学者
雇用主	エセックス大学
知られている	コンピュータサイエンスの論理とコンピュータサイエンスの哲学に関する出版物

レイモンド・ターナー教授（1947年4月28日生まれ）は、エセックス大学を拠点とするイギリスの論理学者、哲学者、理論計算機科学者である。彼は計算機科学における論理に関する研究と計算機科学の哲学における先駆的な研究で最もよく知られている。彼はJournal of Logic and Computation ^[1]とStanford Encyclopedia of PhilosophyのLogic, Computation, and Agencyの編集委員を務めている。 ^[2]

書籍

人工知能のためのロジック、121 ページ、E. Horwood、1984 年、ISBN 0-470-20123-1
知識表現のための真理と様相、141 ページ、MIT 出版、1991 年、ISBN 0-262-20080-5
関数型言語の構成的基礎、288 ページ、McGraw-Hill Publishing Co、1991 年 5 月 1 日、ISBN 0-07-707411-4
計算可能モデル、240 ページ、Springer、2009 年、ISBN 1-84882-051-8
計算アーティファクト：コンピュータサイエンスの哲学に向けて、285ページ、Springer、2018年、ISBN 978-3-662-55565-1

2017年コヴィー賞受賞[2]。