Ray Turner (informatyk)

Raymonda Turnera
Urodzić się ( 1947-04-28 ) 28 kwietnia 1947 (wiek 75)
Anglia
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] .

Linki zewnętrzne