Lehrinhalte
We introduce the bounded functional interpretation and discuss some particular instances of Proof Mining. Contents include:
[list]
[*]The Bounded Functional Interpretation;
[*]Interpretation of the metric projection;
[*]Removal of sequential weak compactness;
[*]Selected cases of proof mining.
[/list]
We will address several cases of proof mining studies. The possible choices are: Browder's fixed point theorem; Wittmann's theorem; Translation to Viscosity methods (in regards to results due to Suzuki); Proximal point algorithm theorems, etc.
Literature
There will be lecture notes, which include a list of further references.
Voraussetzungen
Crucial prerequisites is the course "Introduction to Mathematical Logic" (or the course "Aussagen- und Prädikatenlogik", for Computer Scientists).
(Ideally, but not strictly necessary, participants should be familiar with the content of the lecture "Applied Proof Theory" given in the SoSe 2022.)
Online-Angebote
Moodle
We introduce the bounded functional interpretation and discuss some particular instances of Proof Mining. Contents include:
[list]
[*]The Bounded Functional Interpretation;
[*]Interpretation of the metric projection;
[*]Removal of sequential weak compactness;
[*]Selected cases of proof mining.
[/list]
We will address several cases of proof mining studies. The possible choices are: Browder's fixed point theorem; Wittmann's theorem; Translation to Viscosity methods (in regards to results due to Suzuki); Proximal point algorithm theorems, etc.
Literature
There will be lecture notes, which include a list of further references.
Voraussetzungen
Crucial prerequisites is the course "Introduction to Mathematical Logic" (or the course "Aussagen- und Prädikatenlogik", for Computer Scientists).
(Ideally, but not strictly necessary, participants should be familiar with the content of the lecture "Applied Proof Theory" given in the SoSe 2022.)
Online-Angebote
Moodle
- Lehrende: Pedro Pinto
Semester: WT 2022/23