Logic Seminar - Manlio Valenti
| Dates: | 11 March 2026 |
| Times: | 15:00 - 16:00 |
| What is it: | Seminar |
| Organiser: | Department of Mathematics |
| Who is it for: | University staff, External researchers, Current University students |
|
Speaker: Manlio Valenti (Swansea University)
Title: Theorems as computational problems: an overview of Weihrauch reducibility
Abstract: Weihrauch reducibility is a framework for studying the uniform strength of computational problems. Many mathematical theorems can naturally be understood as problems of the following form: given some input data satisfying certain assumptions, find an object whose existence is guaranteed by the theorem. This allows us to study the computational content of mathematical theorems.
In this talk, I will give an overview of Weihrauch reducibility. We will explore the properties of the degree structure induced by it and discuss the degree of important milestone problems. We will see how Weihrauch reducibility can be useful to highlight phenomena that are invisible in other frameworks (eg reverse mathematics). Finally, we will briefly discuss the current developments and open research directions.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester