# Metamathematics and proof theory, 7.5 ECTS

Second level## Facts

No available facts**Course code**MM8028

## Syllabus

## Description

The course covers fundamental metamathematical questions and provides an introduction to proof theory.

Hilbert program. Structural proof theory for sequent calculus and natural deduction. Cut-elimination and normalization. Consistency proof Peano arithmetic. Notation system for ordinals. Fast-growing hierarchies. Gödel’s second incompleteness theorem. A selection of topics from: Provability logic. Reverse mathematics. Proof theory for second-order arithmetic. Proof theory for bounded arithmetic and complexity classes (P, NP).

## Area of interests: Information only in Swedish

## Subject

### Mathematics

As a mathematical theory always implies that certain conclusions hold under certain given conditions, it can in principle say nothing about the physical reality. None the less mathematics has become an indispensable tool for a large number of subjects like astronomy, physics, chemistry, statistics and the technical sciences and in later times also for economy, biology, various social sciences and computor science. The role of mathematics in the applied sciences is both to supply notions for exact and adequate formulations of empirical laws but also from these laws to derive consequences, which can be used to find better models of the reality one has to describe. These tasks have lately become more important. Mathematics is in continual progress by intensive international research, new theories are created and already existing theories are simplified and augmented.