From Sergei Artemov:
The talk by Professor Kohlenbach is rescheduled from July 1 (when the Graduate Center will be closed), to
July 5 (Tuesday) 10am, the same venue room 4102 – Science Center.
CUNY Ph.D. Program in Computer Science
Graduate Center CUNY
365 Fifth Avenue, New York,
New York 10016
New York Logic Colloquium & Computational Logic Seminar
Room 4102 (Science Center),
10am – 12pm
July 5, 2011.
Speaker: Ulrich Kohlenbach (Department of Mathematics, TU Darmstadt, Germany)
Title: Logical Extraction of Bounds from Proofs in Nonlinear Ergodic Theory
Abstract: In this talk we give a survey on recent applications of the “proof mining” program. This program is concerned with the extraction effective uniform bounds from ineffective proofs in analysis using techniques from proof theory.
We will focus on problems in ergodic theory. More specifically, we discuss new explicit uniform rates of metastability (in the sense of Tao) for the von Neumann Mean Ergodic Theorem (for uniformly convex Banach spaces) as well as several nonlinear ergodic theorems (in the Hilbert space case) due to Baillon and Wittmann.