词条 | Jouko Väänänen |
释义 |
| name = Jouko Antero Väänänen | image = | image_size = | alt = | caption = | birth_date = {{Birth date and age|1950|9|3}} | birth_place = Rovaniemi, Lapland | death_date = | death_place = | resting_place = | resting_place_coordinates = | residence = | citizenship = | nationality = | fields = | workplaces = | alma_mater = University of Manchester | thesis_title = Applications of set theory to generalized quantifiers | thesis_url = http://catalogue.library.manchester.ac.uk/items/2558310 | thesis_year = 1977 | doctoral_advisor = Peter Aczel | academic_advisors = | doctoral_students = | notable_students = | known_for = | author_abbrev_bot = | author_abbrev_zoo = | influences = | influenced = | awards = | signature = | signature_alt = | website = | footnotes = | spouse = }}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][8][9] and foundations of mathematics.[5][10] He is currently the vice-rector at the University of Helsinki [11] 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.[12][13] He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977. His PhD thesis was entitled "Applications of set theory to generalized quantifiers".[14] He was elected to the Finnish Academy of Science and Letters in 2002.[15] He served as a member of the Senate of the University of Helsinki from 2004 to 2006. Starting in 2007 he has served as the Treasurer of the European Mathematical Society.[16] PublicationsBooks
See also
References1. ^"CURRICULUM'VITAE." http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Department of Mathematics and Statistics University of Helsinki, FINLAND. Web. 20 Mar 2014. 2. ^J. Väänänen, Set theoretic definability of logics. In J. Barwise and S. Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985. 3. ^J. Stavi and J. Väänänen, Reflection principles for the continuum. Logic and Algebra, ed. Yi Zhang, pp. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002. 4. ^M. Dzamonja and J. Väänänen, A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132. 5. ^1 J. Väänänen, Second order logic or set theory?, Bulletin of Symbolic Logic, 18(1), 91-121, 2012. 6. ^J. Väänänen, Boolean valued models and generalized quantifiers, Annals of Mathematical Logic, 79, pages 193-225, 1980. 7. ^T. Hyttinen and J. Väänänen, [https://www.jstor.org/stable/2274463 On Scott and Karp trees of uncountable models], Journal of Symbolic Logic55(3):897-908, 1990. 8. ^M. Magidor and J. Väänänen, On Löwenheim-Skolem-Tarski numbers for extensions of first order logic, Journal of Mathematical Logic, 11(1), 87-113, 2011. 9. ^E. Grädel and J. Väänänen, [https://link.springer.com/article/10.1007%2Fs11225-013-9479-2 Dependence and independence], Studia Logica: Volume 101, Issue 2 (2013), Page 233-236. 10. ^J. Väänänen, Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001. 11. ^[https://www.helsinki.fi/en/news/higher-education-science-policy/professor-jouko-vaananen-appointed-vice-rector-of-the-university-of-helsinki Professor Jouko Väänänen appointed vice-rector of the University of Helsinki] 12. ^Jouko Väänänen at the University of Helsinki 13. ^Jouko Väänänen at the University of Amsterdam 14. ^Applications of set theory to generalized quantifiers 15. ^Members of the Finnish Academy of Science and Letters {{webarchive|url=https://web.archive.org/web/20151007065527/http://www.acadsci.fi/members.htm |date=2015-10-07 }} 16. ^Executive Committee of the EMS 17. ^1 J. Väänänen, 18. ^1 J. Väänänen, Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380. External links
7 : 1950 births|Living people|Finnish mathematicians|Academics of the University of Helsinki|University of Amsterdam faculty|Alumni of the University of Manchester|People from Rovaniemi |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。