Jouko Väänänen

Jouko Antero Väänänen
Urodzić się	( 03.09.1950 ) 3 września 1950 Rovaniemi , Laponia
Obywatelstwo	fiński
Alma Mater	Uniwersytet w Manchesterze
Znany z	Logika zależności, abstrakcyjna teoria modeli, teoria mnogości
Współmałżonek	Julietta Kennedy
Kariera naukowa
Pola	logika matematyczna
Instytucje	Uniwersytet Helsiński , Uniwersytet Amsterdamski
Praca dyplomowa	Zastosowania teorii mnogości do uogólnionych kwantyfikatorów (1977)
Doradca doktorski	Piotr Aczel

Jouko Antero Väänänen (urodzony 3 września 1950 w Rovaniemi , Laponia ) to fiński logik matematyczny znany ze swojego wkładu w teorię mnogości , teorię modeli , logikę i podstawy matematyki . Pełnił funkcję prorektora Uniwersytetu Helsińskiego i profesora matematyki na Uniwersytecie Helsińskim, a także profesora logiki matematycznej i podstaw matematyki na Uniwersytecie Amsterdamskim . Obronił doktorat na University of Manchester pod kierunkiem Petera Aczela w 1977 roku rozprawą doktorską pt. „Applications of mnogości do uogólnionych kwantyfikatorów”. W 2002 roku został wybrany do Fińskiej Akademii Nauk i Literatury. W latach 2004-2006 był członkiem Senatu Uniwersytetu Helsińskiego, a w latach 2007-2014 skarbnikiem Europejskiego Towarzystwa Matematycznego . Europejskie Towarzystwo Teorii Mnogości od 2012 roku.

Publikacje

Książki

• Logika zależności , Cambridge University Press, 2007.
• Modele i gry , Cambridge University Press, 2011.

Zobacz też

• Logika zależności

Linki zewnętrzne

• Strona domowa Jouko Väänänena
• Jouko Väänänen w genealogii matematycznej