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).

Introduction
Moving to Princeton
Ontological Proof of God
Computer Theater Proof
LCF
Strategy
Relationship with Robin Milner
Scott Domains
Peripatetic Seminar
Category Theory Type Theory
UK Intellectual Landscape
Final Thoughts