Conference on Limits on Computability, Definability, Provability–Celebrating the Mathematical and Professional Contributions of Chong Chi Tat

Overview

To honor Professor Chitat Chong on the occasion of his retirement after an extraordinary 50 years of service at the National University of Singapore (NUS), a conference will be held on 9–10 January 2025 at the Institute for Mathematical Sciences (IMS), NUS.

Professor Chong has made profound contributions to the fields of recursion theory, reverse mathematics, and mathematical logic. This conference will highlight his impactful work in computability, definability, and provability, areas where his scholarly influence has been deeply felt.

Beyond his academic achievements, Professor Chong has played a pivotal role in nurturing the mathematical community in Singapore, China, and across Asia. Notably, in 2000, he collaborated with colleagues at NUS to establish the Institute for Mathematical Sciences. In addition, since the Reform and Opening-up in China, he has mentored and supported a new generation of logicians, leaving a lasting legacy in the region.

The two-day conference is jointly organized by the Department of Mathematics, the Faculty of Science, and the Institute for Mathematical Sciences. It will feature a diverse program of talks by distinguished scientists from around the world. The event will bring together Professor Chong’s colleagues and friends, many of whom have cherished his friendship and mentorship over the past five decades.