Ray Turner (informatyk)
Raymonda Turnera | |
---|---|
Urodzić się |
Anglia
|
28 kwietnia 1947
Narodowość | brytyjski |
Zawód | Logik |
Pracodawca | Uniwersytet w Essex |
Znany z | Publikacje z zakresu logiki w informatyce i filozofii informatyki |
Profesor Raymond Turner (urodzony 28 kwietnia 1947) to angielski logik, filozof i informatyk teoretyczny pracujący na Uniwersytecie w Essex . Najbardziej znany jest ze swojej pracy nad logiką w informatyce i pionierskiej pracy w filozofii informatyki . Jest członkiem rad redakcyjnych Journal of Logic and Computation oraz Stanford Encyclopedia of Philosophy w czasopismach Logic, Computation i Agency.
Książki
- Logika dla sztucznej inteligencji , 121 stron, E. Horwood, 1984, ISBN 0-470-20123-1
- Prawda i modalność reprezentacji wiedzy , 141 stron, The MIT Press, 1991, ISBN 0-262-20080-5
- Konstruktywne podstawy języków funkcjonalnych , 288 stron, McGraw-Hill Publishing Co, 1 maja 1991, ISBN 0-07-707411-4
- Modele obliczeniowe , 240 stron, Springer, 2009, ISBN 1-84882-051-8
- Artefakty obliczeniowe: w stronę filozofii informatyki , 285 stron, Springer, 2018, ISBN 978-3-662-55565-1
Wybrane artykuły
- Teoria właściwości , The Journal of Symbolic Logic. 52 (02), 455–472.
- Kontrfakty bez możliwych światów , Journal of Philosophical Logic. 10 (4), 453–493.
- Logika prawdy , Notre Dame Journal of Formal Logic. 31 (2), 308–329.
- Zrozumienie języków programowania , umysłów i maszyn. 17 (2), 203–216.
- Podstawy specyfikacji Journal of Logic and Computation . 15 (5), 623–662.
- Semantyka i stratyfikacja , Journal of Logic and Computation. 15 (2), 145–158.
- Wnioskowanie o typach dla teorii mnogości , Informatyka teoretyczna. 266 (1–2), 951–974.
- Czytanie między wierszami w konstruktywnej teorii typów , Journal of Logic and Computation. 7 (2), 229–250.
- Słabe teorie operacji i typów , Journal of Logic and Computation. 6 (1), 5–31.
- Leniwe teorie operacji i typów , Journal of Logic and Computation. 3 (1), 77–102.
- Filozofia informatyki , Stanford Encyclopedia of Philosophy, [1] .
- Specyfikacja , Umysły i maszyny, 21 (2): 135–152.
- Typy , w Podręczniku logiki i języka. Wydanie 1. Redaktorzy: J. van Benthem A. ter Meulen . ISBN 9780080533087 .
Nagrody
Nagroda Coveya 2017. [2] .