This Week in Logic at CUNY – Special Announcement – NY Logic Colloquium & Computational Logic Seminar on July 1st

New York Logic Colloquium & Computational Logic Seminar
Room 4102 (Science Center),
2:00 – 4:00 PM,
July 1, 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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.