Jouko Antero Väänänen | |
---|---|
Born | |
Citizenship | Finnish |
Alma mater | University of Manchester |
Known for | Dependence logic, abstract model theory, set theory |
Spouse | Juliette Kennedy |
Scientific career | |
Fields | mathematical logic |
Institutions | University of Helsinki, Amsterdam University |
Thesis | Applications of set theory to generalized quantifiers (1977) |
Doctoral advisor | Peter Aczel |
Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland) [1] is a Finnish mathematical logician known for his contributions to set theory, [2] [3] [4] [5] model theory, [6] [7] [8] logic [9] [10] [11] and foundations of mathematics. [5] [12] He served as the vice-rector at the University of Helsinki, [13] and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. [14] [15] He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". [16] He was elected to the Finnish Academy of Science and Letters in 2002. [17] He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, [18] as well as the Treasurer of the European Set Theory Society [19] since 2012.
Jouko Antero Väänänen | |
---|---|
Born | |
Citizenship | Finnish |
Alma mater | University of Manchester |
Known for | Dependence logic, abstract model theory, set theory |
Spouse | Juliette Kennedy |
Scientific career | |
Fields | mathematical logic |
Institutions | University of Helsinki, Amsterdam University |
Thesis | Applications of set theory to generalized quantifiers (1977) |
Doctoral advisor | Peter Aczel |
Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland) [1] is a Finnish mathematical logician known for his contributions to set theory, [2] [3] [4] [5] model theory, [6] [7] [8] logic [9] [10] [11] and foundations of mathematics. [5] [12] He served as the vice-rector at the University of Helsinki, [13] and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. [14] [15] He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". [16] He was elected to the Finnish Academy of Science and Letters in 2002. [17] He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, [18] as well as the Treasurer of the European Set Theory Society [19] since 2012.