Informal Seminar on Logic and Its Foundation

Informal Seminar on Logic and Its Foundation

We are a group of mainly philosophers and computer scientists, most of
us with a background in mathematics, which have broad interest in logic
and its foundation and in pure logic as well as philosophical issues
that arise here. For several years we have had an ongoing informal
seminar on various topics, attracting people (including students) from
the greater Copenhagen area.

This semester we plan to meet approximately once a month discussing a
range of papers under the heading "pearls in logic". Our next meeting
will be on Gödel's paper on incompleteness from 1931 and take place
March 4th from 14 to 16 at Roskilde University. (The complete program of
this semester is still not decided. The same for the language, but it
will most likely be Danish.) If you are interested in knowing more about
the seminar or want to attend please do not hesitate to contact Jens
Ulrik Hansen on jensuh@ruc.dk