The Philosopher
Ray Turner
The face
The background
- Nationality:
- English
- Period:
- 20th and 21st century
The synopsis
Professor Raymond Turner (born 28 April 1947) is an English logician, philosopher, and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy, for Logic, Computation, and Agency.
The works
Logics for Artificial Intelligence
Truth and Modality for Knowledge Representation
Constructive Foundations for Functional Languages
Computable Models
Computational Artefacts: Towards a Philosophy of Computer Science