Рэй Тернер (ученый-компьютерщик) - Ray Turner (computer scientist) - Wikipedia

Раймонд Тернер
Родившийся (1947-04-28) 28 апреля 1947 г. (возраст 73)
Англия
НациональностьБританский
Род занятийЛогик
РаботодательУниверситет Эссекса
ИзвестенПубликации на логика в информатике и философия информатики

Профессор Раймонд Тернер (родился 28 апреля 1947 г.) - английский логик, философ и теоретик. специалист в области информатики на основе Университет Эссекса. Он наиболее известен своей работой над логика в информатике и за его новаторскую работу в философия информатики. Входит в редколлегию журнала Журнал логики и вычислений[1] и Стэнфордская энциклопедия философии, для логики, вычислений и агентств.[2]

Книги

  • Логика для искусственного интеллекта, 121 страница, Э. Хорвуд, 1984, ISBN  0-470-20123-1
  • Истина и модальность представления знаний, 141 страница, MIT Press, 1991,ISBN  0-262-20080-5
  • Конструктивные основы функциональных языков, 288 страниц, McGraw-Hill Publishing Co, 1 мая 1991 г., ISBN  0-07-707411-4
  • Вычислимые модели, 240 страниц, Springer, 2009 г., ISBN  1-84882-051-8
  • Вычислительные артефакты: к философии информатики, 285 страниц, Springer, 2018, ISBN  978-3-662-55565-1

Избранные статьи

  • Теория свойств, Журнал символической логики. 52 (02), 455-472.
  • Контрфактуалы без возможных миров, Журнал философской логики. 10 (4), 453-493.
  • Логика истины, Нотр-Дам Журнал формальной логики. 31 (2), 308-329.
  • Понимание языков программирования, Умы и машины. 17 (2), 203-216.
  • Основы спецификации Журнал логики и вычислений. 15 (5), 623-662.
  • Семантика и стратификация, Журнал логики и вычислений. 15 (2), 145-158.
  • Вывод типа для теории множеств, Теоретическая информатика. 266 (1-2), 951-974.
  • Чтение между строк в теории конструктивного типа, Журнал логики и вычислений. 7 (2), 229-250.
  • Слабые теории операций и типов, Журнал логики и вычислений. 6 (1), 5-31.
  • Ленивые теории операций и типов, Журнал логики и вычислений. 3 (1), 77-102.
  • Философия информатики, Стэнфордская энциклопедия философии, [1].
  • Технические характеристики, Умы и машины, 21 (2): 135-152.
  • Типы, в Справочнике по логике и языку. 1-е издание. Редакторы: Й. ван Бентем, А. тер Меулен. ISBN  9780080533087.

Награды

Премия Кови 2017.[2].

внешняя ссылка

  • Эссекс Дом: [3].
  • Академия: [4].
  • Математическая генеалогия: [5].
  • Philpapers: [6].
  • Compsci: [7]

Рекомендации

  1. ^ Оксфордские журналы
  2. ^ Платон в Стэнфордском университете