In this biography
Quick facts
- Born
- Not established in inspected records
- Birthplace
- Not established in inspected records
- Country
- Singapore
- Nationality
- Not independently established
- Known for
- Logic and computability researcher.
- Research focus
- Recursion theory; reverse mathematics
- Exposition collaborator
- Yang Yue
Why this life matters
His work joins questions about what axioms can prove with the practical design of research and education institutions.
Timeline
Key moments
University career
Lecturer appointment.
Educational reform
University Scholars Programme.
Research institute
IMS director.
A career in logic
Chong studied at Iowa State and earned a mathematics doctorate at Yale.
NUS traces his university service to a 1974 lecturer appointment.
His research concerns recursion, computability and the logical strength of combinatorial principles.
That last question differs from solving one example: it asks which assumptions are needed to establish an entire class of results.
Working with mathematical distinctions
His 2015 exposition with Yang Yue separates stable colourings, homogeneous sets and questions about axiomatic strength.
The accompanying exercise uses two explicit colour functions. It is a small entry into those distinctions, not a replacement proof for research results about infinite principles. Naming the co-author matters because the exposition presents a shared mathematical explanation.
Sources for this section: [4]
Changing educational structures
The service citation describes his role in undergraduate curriculum reform and the 2001 transformation of the Talent Development Programme into the University Scholars Programme. It also records school and A-level review committees in 2002 and 2003.
These are concrete organisational decisions. A citation praises service; its examples identify what changed without requiring the reader to accept every celebratory judgement.
Sources for this section: [3]
Research leadership over time
He served as deputy vice-chancellor in 1996–2000, provost and deputy president in 2000–2004, mathematics head in 2006–2012 and Institute for Mathematical Sciences director in 2013–2023.
He became University Professor in 2004.
The dated sequence explains how institutional leadership and research occupied the same career. It does not turn an old appointment page into proof of an uninterrupted present office.
Quick answers
Frequently asked questions about Chong Chi Tat
- Does one colouring prove the general theorem?
- No. An example and a theorem quantified over every allowed colouring have different logical scope.
- Is the fellowship election year treated as settled?
- No. The inspected CV versions disagree, so the year is withheld.
Keep exploring
Lives connected to this story
- Alan Turing
Follow another route into the meaning and limits of computation.
Sources and further reading
Explore the evidence
These references support the biography and offer further reading. Official records, first-person accounts and independent reporting provide different perspectives; image records document attribution and licensing.
- 1. Chong Chi Tat / NUS personal pageChong Chi Tat: brief CV
- 2. NUS University Scholars Programme archiveChong Chi Tat: one-page CV
The older CV gives fellowship 2011; the brief CV says elected 2013. No explanation for the discrepancy is invented.
- 3. National University of SingaporeCitation for Professor Chong Chi Tat: Outstanding Service Award
The citation is in a 2018 folder; its text is not itself dated. The award name is retained without inferring a year from the path.
- 4. Chong Chi Tat and Yang Yue / Asia Pacific Mathematics Newsletter5(2), September 2015, pp1–4Ramsey’s Theorem, Reverse Mathematics and Nonstandard Models
