MAT-60556 Mathematical Logic, 5 cr

Lisätiedot

Suitable for postgraduate studies. Ei toteuteta lukuvuonna 2016-2017.

Vastuuhenkilö

Esko Turunen, Henri Hansen, Antti Valmari

Opetus

Toteutuskerta Periodi Vastuuhenkilö Suoritusvaatimukset
MAT-60556 2016-01 - Esko Turunen
Examination.

Osaamistavoitteet

The course is based on the first and second chapter of Gaisi Takeuti’s in 1987 published book Proof Theory (Studies in Logic and the Foundations of Mathematics). The first chapter introduces Gentzen's sequent calculi for Intuitionistic Logic (LJ) and Classical Logic (LK) and proves Gentzen's cut-elimination theorem as well as completeness theorems for both LJ and LK. The second chapter is Gentzen's second proof of the eliminability of essential cuts from a derivation of the empty sequent in Peano Axioms. All these results are needed to prove the main result of the course: Gödel’s two incompleteness theorems and Tarski’s teorem. After completing the course, the student knows what the fundamental results of mathematical logic are, in particular the proof theoretical approach, Completeness of propostional and first order logc, Gödel's incompleteness theorems, Tarskis theorem, Löwenheim-Skolem theorem, Herbrand theorem. A rudimentary understanding of proof theory is formed, and the student is able to apply some basic results and knows some details of basic techniques such as truth tables.

Sisältö

Sisältö Ydinsisältö Täydentävä tietämys Erityistietämys
1. The basic ideas of Gentzen's proof theory, logical foundations of classical and intuitionistic mathematical theories.  Gödel's incompleteness theorems   
2. Equational, propositional and predicate calculus.  Peano Axioms od arithmetic   
3. Connections to meta-mathematics and computation.  Lindenbaum algebra, connection to Boolean and Hayting algebras   

Ohjeita opiskelijalle osaamisen tasojen saavuttamiseksi

Visit the lectures, do meticulous lecture notes, do all the home exercises in time and participate actively in exercises. Inquire about things that are unclear to you.

Arvosteluasteikko:

Numerical evaluation scale (0-5)

Osasuoritukset:

Completion parts must belong to the same implementation

Oppimateriaali

Tyyppi Nimi Tekijä ISBN URL Lisätiedot Tenttimateriaali
Book   Proof Theory   Gaisi Takeuti         No   
Lecture slides     Esko Turunen         Yes   

Esitietovaatimukset

Opintojakso P/S Selite
MAT-02650 Algoritmimatematiikka Mandatory    

Tietoa esitietovaatimuksista
The course differs in year 2014 lectured Mathematical logic course; the starting point is now proof theoretical, in 2014 it was the model theorical. The main results are the same, however.

Vastaavuudet

Opintojakso ei vastaan mitään toista opintojaksoa

Päivittäjä: Ikonen Suvi-Päivikki, 13.04.2016