Logic and Foundation of Mathematics I

This module is designed for graduate students in mathematics, and students in computer science and philosophy who have sufficient mathematical background. The core of the module is Gdels incompleteness theorem. Before that, some basic knowledge on first order logic, such as compactness theorem and properties of reducts of number theory, will be discussed. After that, some basic topics in Recursion Theory and Model Theory are introduced.

Login Required