Ray Turner (počítačový vědec) - Ray Turner (computer scientist) - Wikipedia
Raymond Turner | |
|---|---|
| narozený | 28.dubna 1947 Anglie |
| Národnost | britský |
| obsazení | Logik |
| Zaměstnavatel | University of Essex |
| Známý jako | Publikace na logika v informatice a filozofie informatiky |
Profesor Raymond Turner (narozený 28. dubna 1947) je anglický logik, filozof a teoretik počítačový vědec se sídlem v University of Essex. On je nejlépe známý pro jeho práci na logika v informatice a za jeho průkopnickou práci v filozofie informatiky. Je členem redakčních rad pro Journal of Logic and Computation[1] a Stanfordská encyklopedie filozofie, pro logiku, výpočet a agenturu.[2]
Knihy
- Logika pro umělou inteligenci, 121 stran, E. Horwood, 1984, ISBN 0-470-20123-1
- Pravda a modalita pro reprezentaci znalostí, 141 stran, MIT Press, 1991,ISBN 0-262-20080-5
- Konstruktivní základy funkčních jazyků, 288 stran, McGraw-Hill Publishing Co., 1. května 1991, ISBN 0-07-707411-4
- Vypočitatelné modely, 240 stran, Springer, 2009, ISBN 1-84882-051-8
- Výpočetní artefakty: Směrem k filozofii počítačové vědy, 285 stran, Springer, 2018, ISBN 978-3-662-55565-1
Vybrané příspěvky
- Teorie vlastností, The Journal of Symbolic Logic. 52 (02), 455-472.
- Kontrafakty bez možných světů, Journal of Philosophical Logic. 10 (4), 453-493.
- Logika pravdy, Notre Dame Journal of Formal Logic. 31 (2), 308-329.
- Porozumění programovacím jazykům, Minds and Machines. 17 (2), 203-216.
- Základy specifikace Journal of Logic and Computation. 15 (5), 623-662.
- Sémantika a stratifikace, Journal of Logic and Computation. 15 (2), 145-158.
- Odvození typu pro teorii množin, Teoretická informatika. 266 (1-2), 951-974.
- Čtení mezi řádky v konstruktivní teorii typů, Journal of Logic and Computation. 7 (2), 229-250.
- Slabé teorie operací a typů, Journal of Logic and Computation. 6 (1), 5-31.
- Líné teorie operací a typů, Journal of Logic and Computation. 3 (1), 77-102.
- Filozofie počítačové vědyStanfordská encyklopedie filozofie, [1].
- Specifikace, Minds and Machines, 21 (2): 135-152.
- Typy, v Příručce logiky a jazyka. 1. vydání. Redakce: J. van Benthem A. ter Meulen. ISBN 9780080533087.
Ocenění
Covey Award 2017.[2].
