Decidability via the Tilting Correspondence
Offered By: Fields Institute via YouTube
Course Description
Overview
Explore a comprehensive lecture on decidability through the lens of the tilting correspondence, presented by Konstantinos Kartas from the University of Oxford. Delve into the intricate relationship between decidability and tilting theory, gaining insights into this fundamental concept in theoretical computer science and mathematics. Examine the theoretical foundations and practical applications of the tilting correspondence in determining the decidability of various problems. Enhance your understanding of computational complexity and formal languages through this in-depth exploration of a powerful mathematical tool.
Syllabus
Decidability via the Tilting Correspondence
Taught by
Fields Institute
Related Courses
Introduction to LogicStanford University via Coursera Networked Life
University of Pennsylvania via Coursera Introduction to Mathematical Thinking
Stanford University via Coursera Computational Photography
Georgia Institute of Technology via Coursera Initiation à la théorie des distributions
École Polytechnique via Coursera