
Computational Prospects of Infinity

This twomonth program on Computational Prospects of Infinity will focus on recent developments in Set Theory and Recursion Theory, which are two main branches of mathematical logic.
Topics for Set Theory will include topics related to Cantor's Continuum Hypothesis (CH), with special attention paid to the importance of the Ω Conjecture. Cantor's Continuum Hypothesis states that there is no set whose size falls between those of the natural numbers and of the real numbers. In his famous lecture of 1900 in Paris, Hilbert placed the continuum hypothesis at the top of a list of the 23 most important mathematics problems of the 20th century. From the work of Gödel (1938) and Cohen (1963), we now know that it is impossible either to prove or to disprove the Continuum Hypothesis using the standard axioms. In the following decades, mathematicians tried to settle the Continuum Hypothesis one way or another by proposing new axioms. In a booklength mathematical argument that has been percolating through the set theory community for the last few years, Woodin has linked the Continuum Hypothesis with the Ω Conjecture, which if true, would imply that every "elegant" axiom would make the Continuum Hypothesis false. If the Ω Conjecture is true, then in understanding why it is true, our understanding of sets will have advanced considerably. It will be possible to quantify the limits of forcing and to give an abstract definition of the hierarchy of Axioms of Infinity. One route to proving the Ω Conjecture is through the Ω Iteration Hypothesis. Understanding this latter hypothesis involves Inner Model Theory and Determinacy Axioms. The program on Set Theory will be devoted to these conjectures and the related problems in Inner Model Theory and determinacy.
Topics for Recursion Theory will include recursive enumerability and randomness. Recursive enumerability is one of the most important notions in Recursion Theory. The study of recursively enumerable (r.e.) degrees and global Turing degrees is arguably the center of Recursion Theory. Some of the main issues, such as whether or not r.e. degree has a nontrivial automorphism and whether all jump classes can be defined naturally, remain unsettled since 1960's. The computational aspect of randomness, also known as algorithmic information theory, has been revived after recent work by Slaman, Downey, Nies and many other people. A great deal of recent research has been done. But, fundamental problems remain. In particular, what is missing is the generalization of these results to other probability measures within the effective setting. This will require conceptual and technical advances. For example, the coincidence of KolomogorovChaitin randomness and MartinLöf randomness does not generalize from Lebesque measure to every effective measure (Reimann and Slaman).
Specifically, the program will focus on the following topics:
The program activities consist of tutorials and seminars.
Tutorials
Seminars and Talks
Public Lecture
Mathcamp
Schedule of Talks and Tutorials
IMS Membership is not required for participation in above activities. For attendance at these activities, please complete the registration form (MSWordPDFPS) and fax it to us at (65) 6873 8292 or email it to us at ims@nus.edu.sg.
If you are an IMS member or are applying for IMS membership, you do not need to register for these activities.
The Institute for Mathematical Sciences invites applications for membership for participation in the above program. Limited funds to cover travel and living expenses are available to young scientists. Applications should be received at least three (3) months before the commencement of membership. Application form is available in (MSWordPDFPS) format for download.
For enquiries on scientific aspects of the program, please email Qi Feng matfq@nus.edu.sg.
Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application