Reverse Mathematics and Ramsey’s Theorem on Trees
报告人：Yue Yang (National University of Singapore)
地点：Room 1513, Sciences Building No. 1
Abstract: This is an introductory talk on the area of Reverse Mathematics, which is a branch of mathematical logic. I will begin with some historical background and introduce the basic terminologies in the area. Very briefly, Reverse mathematics studies which subsystems of second-order arithmetic are optimal to prove a given mathematical theorem. I will use Ramsey’s Theorem for Pairs and Whitehead’s Problem as the main examples. At the end of the talk, I will mention some results related to Ramsey’s Theorem on trees, which are joint work with C.T. Chong and Li Wei (National University of Singapore) and Liu Lu (Zhong Nan University).
Short Bio: Yang Yue, graduated with bachelor’s degree in the Department of Mathematics, Peking University, and obtained his Ph.D. in mathematics from Cornell University, USA. He has been working in the Department of Mathematics, National University of Singapore since 1992 and is a full professor there. His main research area is Recursion Theory and Reverse Mathematical Logic. He is also interested in Philosophy of Mathematics.