Ray Turner (datavetare)

Raymond Turner
Född	( 1947-04-28 ) 28 april 1947 England
Nationalitet	brittisk
Ockupation	Logiker
Arbetsgivare	University of Essex
Känd för	Publikationer om logik i datavetenskap och datavetenskapens filosofi

Professor Raymond Turner (född 28 april 1947) är en engelsk logiker, filosof och teoretisk datavetare baserad vid University of Essex . Han är mest känd för sitt arbete med logik inom datavetenskap och för sitt banbrytande arbete inom datavetenskapens filosofi . Han sitter i redaktionen för Journal of Logic and Computation och Stanford Encyclopedia of Philosophy , för Logic, Computation, and Agency.

Böcker

•   Logics for Artificial Intelligence , 121 sidor, E. Horwood, 1984, ISBN 0-470-20123-1
•   Truth and Modality for Knowledge Representation , 141 sidor, The MIT Press, 1991, ISBN 0-262-20080-5
•   Constructive Foundations for Functional Languages ​​, 288 sidor, McGraw-Hill Publishing Co, 1 maj 1991, ISBN 0-07-707411-4
•   Beräknarbara modeller , 240 sidor, Springer, 2009, ISBN 1-84882-051-8
•   Computational Artefacts: Towards a Philosophy of Computer Science , 285 sidor, Springer, 2018, ISBN 978-3-662-55565-1

Valda papper

• En teori om egenskaper , The Journal of Symbolic Logic. 52 (02), 455–472.
• Kontrafakta utan möjliga världar , Journal of Philosophical Logic. 10 (4), 453–493.
• Sanningens logik , Notre Dame Journal of Formal Logic. 31 (2), 308–329.
• Förstå programmeringsspråk , sinnen och maskiner. 17 (2), 203–216.
• The Foundations of Specification Journal of Logic and Computation. 15 (5), 623–662.
• Semantik och stratifiering , Journal of Logic and Computation. 15 (2), 145–158.
• Typinferens för mängdlära , Teoretisk datavetenskap. 266 (1–2), 951–974.
• Att läsa mellan raderna i konstruktiv typteori , Journal of Logic and Computation. 7 (2), 229-250.
• Svaga teorier om operationer och typer , Journal of Logic and Computation. 6 (1), 5–31.
• Lata teorier om operationer och typer , Journal of Logic and Computation. 3 (1), 77–102.
• Filosofi om datavetenskap , Stanford Encyclopedia of Philosophy, [1] .
• Specification , Minds and Machines, 21 (2):135–152.
•   Typer , i Handbook of Logic and Language. 1:a upplagan. Redaktörer: J. van Benthem A. ter Meulen . ISBN 9780080533087 .

Utmärkelser

Covey award 2017. [2] .

externa länkar

• Essex hem: [3] .
• Akademin: [4] .
• Matematik Genealogi: [5] .
• Filpapper: [6] .
• Compsci: [7]