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

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

Профессор Рэймонд Тернер (родился 28 апреля 1947 г.) — английский логик, философ и учёный-теоретик, работающий в Университете Эссекса . Он наиболее известен своими работами по логике в информатике и новаторскими работами в области философии информатики . Он входит в редакционную коллегию журнала Logic and Computation. и Стэнфордская энциклопедия философии по логике, вычислениям и действиям.

Книги

• Логика для искусственного интеллекта , 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] .
• Филпаперс: [6] .
• Компьютеры: [7]