Audience

Suitable for students and teachers for upper secondary level and above

Description

This lecture series will feature eminent local mathematicians or mathematics educators to share with the public some of their interests and ideas.

Speaker

Ng Keng Meng is a professor in the School of Physical and Mathematical Sciences at NTU. His research interest is in mathematical logic. He is interested in the theory of computation, particularly in descriptive and algorithmic complexity. He works in classical and applied computability theory, and in algorithmic information theory and randomness. He is also interested in reverse mathematics and the application of computability theory to combinatorics, analysis and topology.

Synopsis

In this talk we discuss some well-known paradoxes and the impact they have on the foundations of mathematics. We discuss how the attempts at their resolution have led to a deeper understanding on the rules governing mathematical proofs. These paved the way for the groundbreaking development of mathematical logic as the main tool to building the foundations of modern mathematics.

Date/Time

Date: 14 March 2025
Time: 4 – 5  pm
Venue: LT27 (NUS Science Faculty)

Coordinator

Dr Amanda Soon
pvoswma@nus.edu.sg