- An undergraduate course
in
Mathematics and Statistics.
Number theory and mathematical logic
- On this page
Number theory looks at some classical problems concerning the integers, including the solution of Diophantine equations; the distribution of prime numbers; the theory of congruences; quadratic reciprocity; and the theory of continued fractions. Mathematical logic sets out to prove Gödel’s incompleteness theorem, a result of philosophical importance for the limits of mathematical proof. To lay the ground for this theorem we look first at apparently different notions of computability that all in fact coincide, and then discuss a formal proof system for basic number theory.
Modules at Level 3 assume that you are suitably prepared for study at this level. If you want to take a single module to satisfy your career development needs or pursue particular interests, you don’t need to start at Level 1 but you do need to have adequately prepared yourself for OU study in some other way. Check with our Student Registration & Enquiry Service to make sure that you are sufficiently prepared.
| Course facts | |
|---|---|
| About this course: | |
| Course code | M381 |
| Credits | 30 |
| OU Level | 3 |
| SCQF level | 10 |
| FHEQ level | 6 |
| Course work includes: | |
| 4 Tutor-marked assignments (TMAs) | |
| Examination | |
| No residential school | |
Register for the course
What you will study
The course will give you an insight into two branches of very pure mathematics that have both historical and philosophical significance. By the end of it you should feel confident to tackle number-theoretic problems and have an appreciation of the nature and limitations of mathematics.
The course consists of two independent sections that are studied concurrently. Each has its own course texts and written work.
Number theory This section is concerned with the integers, and in particular with the solution of classical problems that require integer solutions. It begins by considering some elementary properties of the integers, such as divisibility and greatest common divisors. This leads to a method of solving the linear Diophantine equation ax + by = c, that is, finding solutions to the equation that are integers.
Every integer greater than 1 is shown to be a unique product of primes, and some results are obtained concerning the distribution of primes among the integers. In the theory of congruences, methods are developed for solving linear congruences such as ax ≡ b {mod n) and the classical theorems of Fermat and Wilson are obtained. We then consider multiplicative functions: functions f satisfying f(m) x f(n) = f(mn) for relatively prime integers m and n, and in particular Euler’s φ-function, which counts the number of integers in the set { 0, 1, …, (n–1)} that are relatively prime to n. Returning to congruences we consider the solution of quadratic congruences, which leads to Gauss’s law of quadratic reciprocity. Finally, the story of continued fractions is developed and applied as a method of solving further examples of Diophantine equations.
Mathematical logic This section looks at theoretical issues concerning algorithms and what they can compute, and at a theory of mathematical reasoning. One of the major questions we address is whether there is an algorithm for deciding which statements of number theory are true. On the way to answering this, we discuss two different abstract notions of computable functions: those arising from unlimited register machines and those from the theory of recursive functions. First we show that these notions of computability give rise to the same class of computable functions, give evidence towards Church’s thesis on computability and lead to results about limitations on what can be computed. Then we look at the formalisation of a mathematical language for number theory, and at a formal proof system for it. Finally, the material so far is combined to give proofs of Gödel’s incompleteness theorem, a result of great philosophical importance for the limits of mathematical endeavour.
You will learn
Successful study of this course should enhance your skills in understanding complex mathematical texts, thinking logically and constructing logical arguments.
Entry
This is a Level 3 course. Level 3 courses build on study skills and subject knowledge acquired from studies at Levels 1 and 2. They are intended only for students who have recent experience of higher education in a related subject, preferably with The Open University.
The course assumes no specific mathematical knowledge beyond A-level or Scottish Highers in pure mathematics, but many of the concepts require considerable mathematical sophistication, such as facility in reading mathematical arguments and some experience of producing them, as developed in either of our Level 2 mathematics courses Pure mathematics (M208) or Mathematical methods and models (MST209). Students are more likely to complete this course successfully if they have acquired their prerequisite knowledge through passing these courses.
If you have any doubt about the suitability of the course, please contact our Student Registration & Enquiry Service.
Preparatory work
There is no specific preparatory work required for this course. A flavour of what is involved in number theory can be obtained from books such as Elementary Number Theory by D.Burton, or Elementary Number Theory by Gareth Jones and Mary Jones. A flavour of the first part of the mathematical logic can be obtained from the book Computability by N. Cutland.
Regulations
As a student of The Open University, you should be aware of the content of the Module Regulations and the Student Regulations which are available on our Essential documents website.
If you have a disability or additional requirement
Written transcripts are available for the audio-visual material. This course may be substantially challenging if you have impaired sight, but it is not impossible.
Our Services for disabled students website has the latest information about availability.
If you are a new student, or new to courses using a computer or the internet, you will need to inform us of your particular needs as soon as possible, as some of our support services may take several weeks to arrange. Details of how to do this and our range of support services are described in our publication Meeting Your Needs.
You can also find information about accessible study materials, the Disabled Students' Allowance, equipment and other services on our Services for disabled students website. It also includes our contact details for advice and support both before you register and while you are studying.
Study materials
What's included
Course books.
You will need
A calculator would be useful, though it is not essential. A simple four-function (+ – x ÷) model would suffice.
Computing requirements
You will need a computer with internet access to study this course which includes online activities. You can only access these using a web browser with Flash and Java.
- If you have purchased a new desktop or laptop computer since 2006 you should have no problems completing the online activities.
- If you’ve got a netbook, tablet or other mobile computing device check our Technical requirements section.
- If you use an Apple Mac you will need OS X 10.5 or later.
You can also visit the Technical requirements section for further computing information including the details of the support we provide.
Teaching and assessment
Support from your tutor
You will have a tutor who will help you with the study material and mark and comment on your written work, and whom you can ask for advice and guidance. We may also be able to offer group tutorials or day schools that you are encouraged, but not obliged, to attend. Where your tutorials are held will depend on the distribution of students taking the course.
Contact our Student Registration & Enquiry Service if you want to know more about study with the Open University before you register.
Assessment
The assessment details for this course can be found in the facts box above.
Please note that TMAs for all undergraduate mathematics and statistics courses must be submitted on paper as – due to technical reasons – we are unable to accept TMAs via our eTMA system.
Professional recognition
This course may help you to gain recognition from a professional body. You can view or download our Recognition leaflet 3.6 Institute of Mathematics and its Applications for further information.
Future availability
The details given here are for the course that starts in October 2012. We expect it to be available once a year.
Students also studied
Students who studied this course also studied at some time:
How to register
To register a place on this course return to the top of the page and use the Click to register button. For more information and advice about registration see OU Study Explained.
Student Reviews
“I may be biased as I and did not pass it, but this is my worst OU course experience and ...”
Read more
“Of all the maths courses I have studied with the OU so far (and I have done a fair few), ...”
Read more
Distance learning
The Open University is the world’s leading provider of flexible, high quality distance learning. Unlike other universities we are not campus based. You will study in a flexible way that works for you whether you’re at home, at work or on the move. As an OU student you’ll be supported throughout your studies – your tutor will guide and advise you, offer detailed feedback on your assignments, and help with any study issues. Tuition might be in face-to-face groups, via online tutorials, or by phone.
For more information about distance learning at the OU read Study explained.
| Course facts | |
|---|---|
| About this course: | |
| Course code | M381 |
| Credits | 30 |
| OU Level | 3 |
| SCQF level | 10 |
| FHEQ level | 6 |
| Course work includes: | |
| 4 Tutor-marked assignments (TMAs) | |
| Examination | |
| No residential school | |
Undergraduate
Study explained
- Time
- – find out how much time is required to complete OU study. One credit point represents roughly 10 hours of study.
- Costs
- - find out how much you can expect to pay.
- Study explained
- - all you need to know about studying with the OU.
Your questions
We may have already answered it in our frequently asked questions.
Or contact an adviser in our Student Registration & Enquiry Service Email or call +44(0) 845 300 60 90 +44(0) 845 366 60 35
Get a prospectus
Download ororder
Share
This PageThe University wishes to emphasise that, while every effort is made to regularly update this site, the material on it is subject to alteration or amendment in the light of changes in regulations or in policy or of financial or other necessity.