Skip navigation

MATH6203 Foundations of Mathematics

Offered By Department of Mathematics
Academic Career Graduate Coursework
Course Subject Mathematics
Offered in First Semester, 2011 and First Semester, 2012
Unit Value 6 units
Course Description

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: Graduate students attend joint classes with undergraduates but will be assessed separately.

Learning Outcomes

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.

Indicative Assessment

Assessment will be based on:

  • Three assignments (10% each; LO 1-3)
  • Final examination (70%; LO 1-3)
Course Classification(s) AdvancedAdvanced courses are designed for students having reached 'first degree' level of assumed knowledge, which provide a deep understanding of contemporary issues; or 'second degree' and higher levels of knowledge; or for transition to research training programs. and SpecialistSpecialist courses are designed for students having reached 'first degree' level of assumed knowledge, which provide for the acquisition of specialist skills; or 'second degree' and higher level of knowledge; or for transition to research training programs; or knowledge associated with professional accreditation.
Areas of Interest Mathematics
Eligibility Bachelor degree; with second year Mathematics. 
Requisite Statement Third year Mathematics is required.
Consent Required Please contact admin.teaching.msi@anu.edu.au for consent to enrol in this course.
Programs Master of Mathematical Sciences and Master of Mathematical Sciences
Academic Contact Dr Stephen Roberts

The information published on the Study at ANU 2011 website applies to the 2011 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2010 website.

Updated:   13 Nov 2015 / Responsible Officer:   The Registrar / Page Contact:   Student Business Solutions