|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Descriptive set theory and Computation theory
If you have a question about this talk, please contact Jonathan Hayman.
We discuss relationships between Descriptive Set Theory and several branches of Computation Theory. After a short excursion to the history of DST we discuss its influence onto the branches of CT. We also present some relatively recent results demonstrating how problems of CT trigger extensions or variations of classical notions and results of DST .
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listscambridge-lectures The Garden of Eden / Kharsag as the Origin of Agriculture in Rashaya El-Wadi, Lebanon Stephen Roskill Memorial Lecture
Other talksHealth Economics @ Cambridge seminar Public Health Annual Lecture Measuring Ethnicity in the NHS Wound Healing 2016 The 2016 Obesity Summit Evolution of visual pigments in New and Old World warblers: from genes to function