Kaisa_2012_3_photo by Veikko Somerpuro

Mathematical logic

This is the core course of the mathematical logic specialization of the Master's programme in Mathematics and Statistics.

The main topics of the course are the completeness theorems of propositional and predicate logic and Gödel's incompleteness theorems. Methods and topics needed for these are formal deduction, definability, primitive recursive and recursive functions. During the course, the students learn about the aims, strengths and limitations of formal proof systems.

Gödel's incompleteness theorem is sometimes called the most misunderstood theorem of mathematics. This course gives you the prerequisites needed to thoroughly understand what the theorem is really about!

Enrol

Timetable

The course consists of lectures Tuesdays 14-16 and Fridays 10-12, and exercise classes Fridays 12-14.

The course starts on calender week 3, but the lecturer is travelling the first two weeks, so the course starts with some online work. Details will be added to the Moodle page in December-January.

DateTimeLocation
Tue 29.1.2019
14:15 - 16:00
Fri 1.2.2019
10:15 - 12:00
Tue 5.2.2019
14:15 - 16:00
Fri 8.2.2019
10:15 - 12:00
Tue 12.2.2019
14:15 - 16:00
Fri 15.2.2019
10:15 - 12:00
Tue 19.2.2019
14:15 - 16:00
Fri 22.2.2019
10:15 - 12:00
Tue 26.2.2019
14:15 - 16:00
Fri 1.3.2019
10:15 - 12:00
Tue 12.3.2019
14:15 - 16:00
Fri 15.3.2019
10:15 - 12:00
Tue 19.3.2019
14:15 - 16:00
Fri 22.3.2019
10:15 - 12:00
Tue 26.3.2019
14:15 - 16:00
Fri 29.3.2019
10:15 - 12:00
Tue 2.4.2019
14:15 - 16:00
Fri 5.4.2019
10:15 - 12:00
Tue 9.4.2019
14:15 - 16:00
Fri 12.4.2019
10:15 - 12:00
Tue 16.4.2019
14:15 - 16:00
Fri 26.4.2019
10:15 - 12:00
Tue 30.4.2019
14:15 - 16:00
Fri 3.5.2019
10:15 - 14:00

Other teaching

01.02. - 01.03.2019 Fri 12.15-14.00
15.03. - 12.04.2019 Fri 12.15-14.00
26.04. - 03.05.2019 Fri 12.15-14.00
Åsa Hirvonen
Teaching language: English

Description

Optional course.

Master's Programme in Mathematics and Statistics is responsible for the course.

The course belongs to the Mathematics and Applied mathematics module.

The course is available to students from other degree programmes.

Mathematical routine aquired during B.Sc. level mathematics courses. Introduction to logic I&II help, but are not strictly necessary.

Master studies

The course gives basic knowledge in the strengths and limitations of formal proofs

Recommended time/stage of studies for completion: 1. year

Term/teaching period when the course will be offered: varying

The main topics of the course are the completeness theorems of propositional and predicate logic and Gödel's incompleteness theorems. Methods and topics needed for these are formal deduction, definability, primitive recursive and recursive functions.

Jouko Väänänen ”Matemaattinen logiikka” (alternatively e.g. Herbert B. Enderton ”A Mathematical Introduction to Logic”)

Lectures and exercises

Exam and excercises, Course will be graded with grades 1-5

Exam and exercises or general exam