Dana Scott was awarded the Rolf Schock Prize in Logic and Philosophy from the Royal Swedish Academy of Sciences "for his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantical paradigm to programmering languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion."[1]
Publications
Hans Blumenberg, Die Vollzähligkeit der Sterne (published in German in 1997; not yet translated into English)
John Searle, The Mystery of Consciousness (essay collection, 1997)
