Useful links
This unit of study unifies and extends mathematical ideas and techniques that most participants will have met in their first and second years, and will be of general interest to all students of pure and applied mathematics. It combines algebra and logic to present and answer a number of related questions of fundamental importance in the development of mathematics, from ancient to modern times. Classical and novel arithmetics are introduced, unified and described abstractly using field and ring axioms and the language of field extensions. A range of applications may be presented, in particular, impossibility arguments such as the unsolvability of the celebrated classical construction problems of the Greeks. Quotient rings are introduced, culminating in a construction of the real numbers, by factoring out rings of Cauchy sequences of rationals by the ideal of null sequences. Axiomatics are placed in the context of reasoning within first order logic and set theory. The Propositional and Predicate Calculi are studied as model axiomatic systems in their own right, including sketches of proofs of consistency and completeness. The final part of the course introduces precise notions of computability and decidability, through abstract Turing machines, culminating in the unsolvability of the Halting Problem and the undecidability of First Order Logic.
Code | MATH3066 |
---|---|
Academic unit | Mathematics and Statistics Academic Operations |
Credit points | 6 |
Prerequisites:
?
|
6 credit points of MATH2XXX |
---|---|
Corequisites:
?
|
None |
Prohibitions:
?
|
MATH3062 or MATH3065 |
Assumed knowledge:
?
|
Introductory knowledge of group theory. For example as in MATH2X22 |
At the completion of this unit, you should be able to:
Unit outlines will be available 1 week before the first day of teaching for the relevant session.
Key dates through the academic year, including teaching periods, census, payment deadlines and exams.
Enrolment, course planning, fees, graduation, support services, student IT
Code of Conduct for Students, Conditions of Enrollment, University Privacy Statement, Academic Integrity
Academic appeals process, special consideration, rules and guidelines, advice and support
Policy register, policy search
Scholarships, interest free loans, bursaries, money management
Learning Centre, faculty and school programs, Library, online resources
Student Centre, counselling & psychological services, University Health Service, general health and wellbeing