Jan from Plato

from Wikipedia, the free encyclopedia

Jan von Plato (born June 23, 1951 in Helsinki ) is a Finnish logician , science historian and professor of philosophy (Swedish) at the University of Helsinki .

Life

Von Plato spent his childhood in the garden city of Tapiola near Espoo , where he first attended the German school and then a Finnish school. From 1970 he studied mathematics and philosophy at the University of Helsinki, where he received an assistant position in 1972. In 1975 he did his master's degree in mathematics, and in 1980 he did his doctorate there on a topic on the philosophy of probability. From 1982 to 2000, von Plato worked primarily as a research assistant at the Finnish Academy . From 1995 to 1996 he was a lecturer in the Logic and Scientific Method department at the London School of Economics . From 1990 on he headed the research group on type theories and their applications at the University of Helsinki as an associate professor within the framework of the European Types Working Group , whose funding was canceled in 1998.

His main research interests were originally probability theory , especially its conceptual basis, as well as its applications in statistical physics and the theory of dynamic systems . From 1992 he dealt with constructive mathematics and especially with intuitionistic geometry and its connections to type theories. From 1997 he turned to logic and proof theory and in particular their history and published several books and numerous articles on topics from this area in the course of the following years. One focus here was the study of Gerhard Gentzen's work and estate . In 2008 a transcription of Gentzen's manuscript for his dissertation was published with a proof of normalization for (intuitionistic) natural reasoning .

Together with his wife Sara Negri, von Plato has three children.

Fonts

  • Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective. Cambridge University Press, Cambridge 1994, ISBN 0-521-59735-8 , 4th ed. 2000.
  • with Eckart Menzler-Trott : Gentzen's problem. Mathematical Logic in National Socialist Germany. Birkhäuser, Basel 2001, ISBN 3-7643-6574-9 . English adaptation by Craig Smorynski and Edward Griffor: Logic's Lost Genius. The Life of Gerhard Gentzen. History of Mathematics Series , Volume 33. American Mathematical Society, Providence, RI and London Mathematical Society, London 2007, ISBN 978-0-8218-3550-0 .
  • with Sara Negri: Structural Proof Theory. Cambridge University Press, Cambridge 2001, ISBN 0-521-79307-6 .
  • with Sara Negri: Proof analysis. A Contribution to Hilbert's Last Problem. Cambridge University Press, Cambridge 2011, ISBN 978-1-107-00895-3 .
  • Elements of Logical Reasoning. Cambridge University Press, Cambridge 2013, ISBN 978-1-107-03659-8 .
  • Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics. Springer, Cham 2017, ISBN 978-3-319-42119-3 .
  • The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. Princeton University Press, ISBN 978-0-691-17417-4 (published June 2017; publisher site ).

literature

  • Petri Mänenpää, Sara Negri, Aarne Ranta: Essays Dedicated to Jan von Plato on the Occasion of his 50th birthday. Helsingin yliopisto, 2001.
  • Dagfinn Follesdal: Scandinavia, in Philosophy. In: Edward Craig (ed.): The Routledge Encyclopedia of Philosophy. Routledge, London 1998. ISBN 0-415-07310-3 .

Web links

Individual evidence

  1. ↑ Jan von Plato: Gentzen's proof of normalization for intuitionistic natural deduction. In: Bulletin of Symbolic Logic , Vol. 14 (2008), pp. 240-257, online .
personal data
SURNAME Plato, Jan von
BRIEF DESCRIPTION Finnish logician, science historian and university professor
DATE OF BIRTH June 23, 1951
PLACE OF BIRTH Helsinki