Jouko Antero Väänänen (born September 3, 1950 in
Rovaniemi
Rovaniemi ( , ; sme, Roavvenjárga ; smn, Ruávinjargâ; sms, Ruäʹvnjargg) is a city and municipality of Finland. It is the administrative capital and commercial centre of Finland's northernmost province, Lapland, and its southern part Perà ...
,
Lapland) is a Finnish
mathematical logician known for his contributions to
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
,
[J. Väänänen]
Second order logic or set theory?
Bulletin of Symbolic Logic, 18(1), 91-121, 2012. model theory,
logic
and
foundations of mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...
.
He served as the vice-rector at the
University of Helsinki
The University of Helsinki ( fi, Helsingin yliopisto, sv, Helsingfors universitet, abbreviated UH) is a public research university located in Helsinki, Finland since 1829, but founded in the city of Turku (in Swedish ''Ã…bo'') in 1640 as the ...
, 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
The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...
. He completed his PhD at the
University of Manchester
, mottoeng = Knowledge, Wisdom, Humanity
, established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Univ ...
under the supervision of
Peter Aczel
Peter Henry George Aczel (; born 31 October 1941) is a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in ...
in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". He was elected to the
Finnish Academy of Science and Letters
The Finnish Academy of Science and Letters (Finnish ''Suomalainen Tiedeakatemia''; Latin ''Academia Scientiarum Fennica'') is a Finnish learned society. It was founded in 1908 and is thus the second oldest academy in Finland. The oldest is the Fi ...
in 2002.
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
The European Mathematical Society (EMS) is a European organization dedicated to the development of mathematics in Europe. Its members are different mathematical societies in Europe, academic institutions and individual mathematicians. The current ...
from 2007 to 2014, as well as the Treasurer of the European Set Theory Society
European Set Theory Society
/ref> since 2012.
Publications
Books
*''Dependence Logic'', Cambridge University Press, 2007.[J. Väänänen]
''Dependence Logic''
London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240.
*''Models and Games'', Cambridge University Press, 2011.[J. Väänänen]
''Models and Games''
Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.
See also
* Dependence logic Dependence logic is a logical formalism, created by Jouko Väänänen, which adds ''dependence atoms'' to the language of first-order logic. A dependence atom is an expression of the form =\!\!(t_1 \ldots t_n), where t_1 \ldots t_n are terms, and c ...
References
External links
Jouko Väänänen's home page
Jouko Väänänen in mathematics genealogy
{{DEFAULTSORT:Vaananen, Jouko
1950 births
Living people
Finnish mathematicians
Academic staff of the University of Helsinki
Academic staff of the University of Amsterdam
Alumni of the University of Manchester
People from Rovaniemi