Jouko Antero Väänänen (born September 3, 1950 in
Rovaniemi
Rovaniemi ( , ; ; ; ) is a city in Finland and the regional capital of Lapland (Finland), Lapland. It is located near the Arctic Circle in the northern interior of the country. The population of Rovaniemi is approximately , while the Rovaniemi su ...
,
Lapland) is a Finnish
mathematical logician known for his contributions to
set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), 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 mathema ...
,
[J. Väänänen]
Second order logic or set theory?
Bulletin of Symbolic Logic, 18(1), 91-121, 2012. model theory
In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...
,
logic
and
foundations of mathematics
Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
.
He served as the vice-rector at the
University of Helsinki
The University of Helsinki (, ; UH) is a public university in Helsinki, Finland. The university was founded in Turku in 1640 as the Royal Academy of Åbo under the Swedish Empire, and moved to Helsinki in 1828 under the sponsorship of Alexander ...
, 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, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...
. He completed his PhD at the
University of Manchester
The University of Manchester is a public university, public research university in Manchester, England. The main campus is south of Manchester city centre, Manchester City Centre on Wilmslow Road, Oxford Road. The University of Manchester is c ...
under the supervision of
Peter Aczel 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 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 curren ...
from 2007 to 2014, as well as the Treasurer of the European Set Theory Society
since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.
Magnus Ehrnrooth Foundation prize to professor Jouko Väänänen
/ref>
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
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
Finnish expatriates in the Netherlands