Alan Turing Lecture 2023: Revisiting the Entscheidungsproblem đź§
Join Professor Byron Cook on April 28, 2023, as he explores the historic Entscheidungsproblem, its challenges, and modern insights. Don't miss this deep dive into foundational computer science topics!
King's College, Cambridge
805 views • May 12, 2023
About this video
Alan Turing Lecture Title: The Entscheidungsproblem, revisited.
Abstract: While attempting to prove or disprove Hilbert’s 1928 Entscheidungsproblem (“decision problem”) challenge, Frank Ramsey (Kings) proved Ramsey’s theorem, and Alan Turing (Kings) developed the concept of Turing machines. In 2005, both Ramsey and Turing’s work was combined to do something important that we couldn’t do before: reason symbolically about the relationships between future temporal events in complex computer systems. This work has gone on to produce important practical breakthroughs in a variety of areas (e.g. cloud security, transportation safety, biology, etc). This lecture will tell that story. The story will be (largely) aimed at a general audience.
Speaker: Byron Cook is Professor of Computer Science at University College London (UCL) and VP/Distinguished Scientist at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, hardware, operating systems, biological systems, programming languages, theorem proving and logic. Byron is the founder of Amazon’s Automated Reasoning Group (ARG)
Abstract: While attempting to prove or disprove Hilbert’s 1928 Entscheidungsproblem (“decision problem”) challenge, Frank Ramsey (Kings) proved Ramsey’s theorem, and Alan Turing (Kings) developed the concept of Turing machines. In 2005, both Ramsey and Turing’s work was combined to do something important that we couldn’t do before: reason symbolically about the relationships between future temporal events in complex computer systems. This work has gone on to produce important practical breakthroughs in a variety of areas (e.g. cloud security, transportation safety, biology, etc). This lecture will tell that story. The story will be (largely) aimed at a general audience.
Speaker: Byron Cook is Professor of Computer Science at University College London (UCL) and VP/Distinguished Scientist at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, hardware, operating systems, biological systems, programming languages, theorem proving and logic. Byron is the founder of Amazon’s Automated Reasoning Group (ARG)
Video Information
Views
805
Likes
18
Duration
01:05:19
Published
May 12, 2023
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now