Seminar code: NMMB453 (both semesters)

(you can sign up for the seminar repeatedly)

The seminar is run in English if students not speaking Czech attend, as happened many semesters during the past.

The seminar is intended for students interested in mathematical logic. It does not assume more than basic knowledge, e.g. on the level of basic course Uvod do matematicke logiky (taking that particular course is not a necessary admission condition though). The seminar runs from the summer semester 06/07. Students are welcome to attend also a more advanced Logic seminar.

Usually we concentrate on a different theme each semester and it is generally not assumed that you have attended earlier semesters (there are occasionally exceptions to this rule when the topic from winter semester over-spilled into the summer one). The themes are chosen in a discussion with the participants in order to respect their backgrounds and interests, and often relate to the area of interactions of logic and computational complexity theory. The main program is complemented by occasional lectures by guests.## Past program.

## Winter semester 2022/23: Proof theory basics

Proof theory is one of classical areas of mathematical logic originating from D.Hilbert's work on the foundations of mathematics and featuring such basic topics as Herbrand's theorem, Godel's Incompleteness Theorems, Gentzen's sequent calculus and natural deduction, ordinal analysis of proofs, non-classical logics, etc. It is also the area of mathematical logic which has most applications in CS and these connections stimulate many of recent developments.

We shall look first at some of the classical topics and then, time permitting, on some more recent developments. The particular topics and seminar material (and schedule of talks) will be at the literature page.## Day, time and place:

The seminar is online on## Fridays, 9-10.30 (being revised these days - check later)

Zoom meeting ID: 396 697 4589

https://cuni-cz.zoom.us/j/3966974589

Password: I will send the password to all students who will sign up for the seminar in the SIS (or contact me directly).

After you join the meeting you will find yourself in a waiting room - this is just a precaution to avoid unwanted visitors.

For the same reason please join each meeting under your *real name*. Only those who signed up for the seminar (in the SIS or with me) will be let in. The zoom room will open always cca 5 minutes before the seminar.## Web:

https://www2.karlin.mff.cuni.cz/~krajicek/babylogika.html