PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Reverse mathematics for analysis
Seminar:Logic Seminar
Speaker:Keita Yokoyama, Tohoku University, Japan
Abstract Link:
Reverse Mathematics is a program of mathematical logic that classifies ordinary mathematical theorems using their logical strength. It was initiated by H. Friedman and is carried forward strongly by S. Simpson and others. In this talk, I will measure the strength of many theorems of basic analysis by way of Reverse Mathematics. For example, the Cauchy integral theorem for holomorphic functions is weaker than the Riemann mapping theorem, but it is stronger than the Taylor expansion theorem for holomorphic functions. To do Reverse Mathematics, we need to prove ordinary mathematical theorems within very weak systems. In the latter part of my talk, I will introduce techniques of non-standard analysis which give a general method to do analysis in weak systems.

Room Reservation Information

Room Number:MB315
Date:09 / 01 / 2009
Time:02:30pm - 03:45pm