| Unit name | Logic |
|---|---|
| Unit code | MATH30100 |
| Credit points | 20 |
| Level of study | H/6 |
| Teaching block(s) |
Teaching Block 2 (weeks 13 - 24) |
| Unit director | Professor. Horsten |
| Open unit status | Not open |
| Pre-requisites |
Level 1 Pure Mathematics |
| Co-requisites |
None |
| School/department | School of Mathematics |
| Faculty | Faculty of Science |
We use mathematical techniques to analyse formal proposition and predicate languages together with the structures which they can describe. We study the notions of satisfiability, validity and logical consequence. We prove the completeness theorem (that the sentences provable from a set of axioms are precisely those true in all structures in which the axioms are true). We discuss the first Incompleteness Theorem of Godel, that not all true statements of arithmetic are provable from any effectively given set of axioms for number theory.
