This is a special topics course which introduces students to the key concepts and techniques of:
First order logic
Axiomatisation of set theory
Model theory
Computability
Godel's Incompleteness Theorem.

Note: This is an HPC. It emphasises mathematical rigour and proof.

On satisfying the requirements of this course, students will have the knowledge and skills to:

1. Explain the fundamental concepts from the foundations of mathematics and its role in modern mathematics and applied contexts.
2. Demonstrate accurate and efficient use of logical and set theoretical techniques.
3. Demonstrate capacity for mathematical reasoning through analyzing, proving and explaining concepts from the foundations of mathematics.

Assessment will be based on:

• Assignments (100%; LO 1-3)

Offered in 2013 subject to staff availability and student demand.

A mark of 60 or more in MATH2021 or MATH2322.

with MATH3128.