Sara Negri

Sara Negri (born January 21, 1967)[1] is a mathematical logician who studies proof theory. She is Italian, but works in Finland, where she is a professor of theoretical philosophy in the University of Helsinki.[2]

Negri was born in Padua,[1] and studied at the University of Padua. She earned a master's degree there in 1991 and a Ph.D. in 1996, both in mathematics.[2] Her dissertation, Dalla Topologia Formale all'Analisi, was supervised by Giovanni Sambin.[3] She came to Helsinki as a docent in 1998, and became a full professor there in 2015. She has also taken several visiting positions,[2] including a Humboldt Fellowship in 2004–2005 at the Ludwig Maximilian University of Munich.[2][4]

Negri is the co-author, with Jan von Plato, of two books:

  • Structural Proof Theory (Cambridge University Press, 2001)[5]
  • Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011)[6]

References

  1. 1 2 "Sara Negri", 375 Humanists, Faculty of Arts, University of Helsinki, retrieved 2018-02-28
  2. 1 2 3 4 Curriculum vitae (PDF), September 2017, retrieved 2018-02-28
  3. ↑ Sara Negri at the Mathematics Genealogy Project
  4. ↑ Negri, Sara (2009), "Alone Amongst Men", Humboldt Kosmos, Alexander von Humboldt Foundation, retrieved 2018-02-28
  5. ↑ Reviews of Structural Proof Theory:
    • Yasuhara, M. (2002), Mathematical Reviews, MR 1841217
    • Hodes, Harold T. (April 2006), The Philosophical Review, 115 (2): 255–258, JSTOR 20446902
  6. ↑ Reviews of Proof Analysis:
    • Indrzejczak, Andrzej B., Mathematical Reviews, MR 3136234
    • Poggiolesi, F., History and Philosophy of Logic, 34 (1): 98–99, doi:10.1080/01445340.2012.735805
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.