Jouko Väänänen: Dependence Logic

Professor Jouko Väänänen, Helsinki, vil forelese på logikkseminaret om Dependence Logic.

Jouko Väänänen besøkte instituttet første gang høsten 1974 for som en av flere finske studenter å følge Jensens forelesninger i mengdelære. Han er nå professor i matematikk ved universitetet i Helsinki. Hans forskning har dreiet seg mye om modellteori og mengdelære.

Väänänen har i de senere årene arbeidet med "Dependence Logic", og han vil gi en innføring i denne formen for logikk på seminaret.

Publisert 10. nov. 2011 13:28