Turing Award Recipient Dana S. Scott - Reflections on Logic and Computer Science - Part 4

Explore the fourth part of a four-part series featuring Dana S. Scott, the 1976 ACM Turing Award recipient. Delve into Scott's intellectual journey, covering his move to Princeton, philosophical explorations including the ontological proof of God, and his contributions to computer science. Learn about the development of LCF (Logic for Computable Functions), Scott's collaboration with Robin Milner, and the creation of Scott Domains. Gain insights into the Peripatetic Seminar, the role of Category Theory in Type Theory, and the intellectual landscape of the UK during Scott's career. Conclude with Scott's final thoughts on his remarkable contributions to the field of computer science in this 50-minute video presented by the Association for Computing Machinery (ACM).