Student logic seminar

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.

In every semester we concentrate on a different theme and it is generally not assumed that you have attended earlier semesters (there were some exceptions when the topic from one semester over-spilled into the next 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.

Summer semester 2018/19:

The seminar studies this semester paper:

Dana Scott, A proof of the independence of the continuum hypothesis,
Mathematical Systems Theory, 1, (1967), str.89-111.
Literature (pdf).

This is one of the most beautiful expository papers in mathematical logic ever written. It aims at mathematicians without any mathematical logic background and it discusses a fundamental mathematical problem and deep ideas that went into answering it.

Day, time and place:

Wednesday at 9.00 in the seminar room of the Algebra Dept. (Karlin).

Web:

http://www.karlin.mff.cuni.cz/~krajicek/babylogika.html